rikarazome/prolog-reasoner
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
- Category
- 💻 Code Execution
- Language
- Python
- License
- MIT
- Source
- https://github.com/rikarazome/prolog-reasoner