prolog-reasoner
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
SWI-Prolog作为LLM的逻辑计算器 — MCP服务器和Python库
How to install
git clone https://github.com/rikarazome/prolog-reasoner ~/.claude/skills/prolog-reasoner About
prolog-reasoner SWI-Prolog as a "logic calculator" for LLMs — available as an MCP server and a Python library. Eliminate the black box from LLM logical reasoning. LLMs excel at natural language but struggle with formal logic. Prolog excels at logical reasoning but can't process natural language. **prolog-reasoner** bridges this gap by exposing SWI-Prolog execution to LLMs. Does it help? On the built-in 30-problem logic benchmark: | Pipeline | Accuracy | |----------|----------| | LLM-only (claude-sonnet-4-6) | 22/30 (73.3%) | | **LLM + prolog-reasoner** | **27/30 (90.0%)** | The gap concentrate…
Recommendation signals
Meta
- License
- MIT
- Language
- Python
- GitHub stars
- 11
- mo. downloads
- –
- Last push
- 2026-05-01
- Created
- 2026-04-14
Links
Basic safety check
- Findings
- curated 收录但无 npm 包/安装命令
- Sources
- curated:punkpeye/awesome-mcp-servers
- Topics
- anthropic, claude, llm, logic-programming, mcp, mcp-server, prolog, python, reasoning, swi-prolog
Related plugins
mobile-mcp
mobile-next/mobile-mcp
Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)
davinci-resolve-mcp
samuelgursky/davinci-resolve-mcp
MCP server integration for DaVinci Resolve Studio
ssh-mcp
tufantunc/ssh-mcp
MCP server exposing SSH control for Linux servers via Model Context Protocol.