Comment by larodi Comment by larodi 3 days ago 2 replies Copy Link View on Hacker News chain of shit. learn Prolog, bois.
Copy Link samus 3 days ago Collapse Comment - Or expect the LLM to only output Prolog, with the assumptions and knowledge as clauses? Reply View | 1 reply Copy Link larodi 2 days ago Parent Collapse Comment - Vlad Tenev's new startup apparently does exactly this, but with Lean4. So what's not to expect here? Last two years saw so many neural-symbolic systems released that its very hard to not see where this all goes... Reply View | 0 replies
Copy Link larodi 2 days ago Parent Collapse Comment - Vlad Tenev's new startup apparently does exactly this, but with Lean4. So what's not to expect here? Last two years saw so many neural-symbolic systems released that its very hard to not see where this all goes... Reply View | 0 replies
Or expect the LLM to only output Prolog, with the assumptions and knowledge as clauses?