Use Prolog to improve LLM's reasoning

(shchegrikovich.substack.com)

379 points shchegrikovich | 1 comments | 13 Oct 24 21:22 UTC | HN request time: 0.314s | source

1. anthk ◴[17 Oct 24 21:19 UTC] No.41873915[source]▶

Use Constraint Satisfaction Problem Solvers. It commes up with Common Lisp with ease.