MCP Servers / development / prolog-reasoner

prolog-reasoner

JSON →
none★ 8development

SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.

github ↗
Install
How to run this server
[ { "cmd": "pip install prolog-reasoner", "imports": [] } ]
server path: prolog-reasoner
Tools
What this server exposes
execute_prolog
Execute arbitrary SWI-Prolog code with a query, optionally prepending saved rule bases. Returns solutions, execution timing, and optional proof traces.
list_rule_bases
List all saved rule base names.
get_rule_base
Retrieve the content of a saved rule base by name.
save_rule_base
Write or overwrite a named rule base with syntax validation.
delete_rule_base
Delete a saved rule base by name.
Configuration
Environment & auth
authnone
envLLM_API_KEY
envPROLOG_REASONER_LLM_API_KEY
Resources
githubhttps://github.com/rikarazome/prolog-reasoner ↗
prolog-reasoner — MCP Server · libregistry