Prolog Reasoner logo
πŸ‘¨β€πŸ’» Code Execution

Prolog Reasoner

rikarazome
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
Install via AllMCPs
allmcps.com