SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
Partial audit · 3/5 dimensions · Audit v1.1-github-security · today · imported from awesome mcp
Dettalji tal-għodod dalwaqt. Dan is-server għandu 0 għodod disponibbli.
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
Yes, prolog-reasoner is completely free to use with no usage limits on the free tier.
prolog-reasoner is listed under the developer-tools category in the AgentForge MCP registry.
prolog-reasoner has a current uptime of 99.9% with an average response time of 0ms.
To connect prolog-reasoner, click the "Connect Agent" button on this page to get the configuration snippet. Add it to your MCP client (Claude Desktop, Cursor, or any MCP-compatible tool). Your AI agent will then have access to all of prolog-reasoner's tools via the Model Context Protocol.