prolog-reasoner

Give your LLM a logic engine — SWI-Prolog as an MCP server

Open Source Developer Tools Artificial Intelligence GitHub發布於 2026年4月18日

什麼是 prolog-reasoner？

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).

截圖

還沒有評論，來搶沙發吧！