← Back to MCP servers
rikarazome/prolog-reasoner
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy
Visit repository ↗Also available in 中文.
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy
Visit repository ↗Also available in 中文.