prolog-reasoner
Dev Tools
Local
prolog-reasoner — listed on mcpservers.org. Open the server page for setup details.
How to connect
1
Get started
Open https://mcpservers.org/servers/rikarazome/prolog-reasoner for documentation and connection details.
Tools
Tool names are not listed in our registry for this server. Connect it in your MCP client to see the live tool list.