prolog-mcp
MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.
- Score
- 57.2452 signals
- Evidence
- 7 stars · 1 fork
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- chiasmus213 stars · 11 forks92.230
- vpursuit-swipl9 stars · 4 forks66.871
- rikarazome-prolog-reasoner11 stars · 1 fork63.155
What it is
MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.
When to use it
MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.