All activity
rikarazomeleft a comment
I watched a video about the history of AI — how engineers originally tried to build intelligence with logic programming (like Prolog), hit a wall, and eventually arrived at LLMs through a completely different path. That got me thinking: what if we just connected them? LLMs are great at language but terrible at formal logic. Prolog is great at logic but can't understand natural language. They...
prolog-reasonerGive your LLM a logic engine — SWI-Prolog as an MCP server
LLMs are great at language but bad at logic. Ask Claude to solve SEND + MORE = MONEY and it guesses wrong.
prolog-reasoner gives LLMs access to SWI-Prolog via MCP. The LLM writes Prolog, Prolog solves it, the answer comes back correct and debuggable.
Results on 30 logic problems: 73% → 90% accuracy. The gain is in constraint satisfaction and multi-step reasoning — where guessing fails.
MCP server for Claude Desktop, Claude Code, Cursor. Rule bases for reusable domain logic. Open source (MIT).
prolog-reasonerGive your LLM a logic engine — SWI-Prolog as an MCP server