Home › Search: logic-programming
Search: logic-programming
Search MCP servers and agent skills by name, description, category or topic — 1 result.
MCP Server
Stale
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.