3 ms·
chain of shit. learn Prolog, bois.
by larodi 11mo ago
chain of shit. learn Prolog, bois.
- samus 11mo agoOr expect the LLM to only output Prolog, with the assumptions and knowledge as clauses?
- larodi 11mo agoVlad 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...