TL;DR
Prolog Reasoner is a Model Context Protocol (MCP) server. SWI-Prolog as a logic calculator for LLMs Install with: uvx prolog-reasoner. Source: https://github.com/rikarazome/prolog-reasoner. It speaks the Model Context Protocol and works with any compatible client (Claude, Cursor, Cline, Windsurf, Warp and more).
Prolog Reasoner
SWI-Prolog as a logic calculator for LLMs
Install Command
uvx prolog-reasonerFrequently Asked Questions
Prolog Reasoner is a Model Context Protocol server that SWI-Prolog as a logic calculator for LLMs
You can install it by running the install command: `uvx prolog-reasoner`. It then becomes available to any MCP-compatible client such as Claude, Cursor, Cline, Windsurf.
The Prolog Reasoner MCP Server is compatible with any client that speaks the Model Context Protocol — including Claude, Cursor, Cline, Windsurf.
Check the project license on its repository before use.
Reviews
0 reviews· 0.0 average
No reviews yet. Be the first to share your experience.
Leave a review
Rating
Details
- Agent Rank
- 58.9
- License
- Last Updated
- Aug 11, 2026
- Languages
- Python
Client Compatibility
Speaks the Model Context Protocol — works with any compatible client.