rikarazome/prolog-reasoner
MCP Developer ToolsA bridge that lets large language models delegate formal logical reasoning to SWI‑Prolog via an MCP server or Python library
Features
- Expose SWI‑Prolog as an MCP tool for LLMs to call during conversation
- Persist reusable rule bases (named Prolog modules) that can be referenced by name
- Full NL→Prolog translation pipeline with self‑correction in Python mode
- Support constraint logic programming (CLP(FD)) and standard SWI features
- Provide transparent audit trails of generated Prolog code
Recent releases
View all 2 releases →Weekly OSS security release digest.
The CVE patches and breaking changes that affected production tools this week. One email, every Sunday.
No spam, unsubscribe anytime.
Install & Platforms
Install via
pip
docker
