prolog-mcp-server
Enables LLMs to define Prolog facts and rules and execute queries via SWI-Prolog for logical reasoning.
- Score
- 52.1352 signals
- Evidence
- 4 stars · 2 forks
- 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
- fatwang2-search1api-mcp173 stars · 38 forks94.099
- f4ww4z-mcp-mysql-server168 stars · 37 forks93.985
- ktanaka101-duckdb178 stars · 20 forks93.203
What it is
Enables LLMs to define Prolog facts and rules and execute queries via SWI-Prolog for logical reasoning.
When to use it
Enables LLMs to define Prolog facts and rules and execute queries via SWI-Prolog for logical reasoning.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.