{"id":"2ecd3b1c-b2ea-49fd-a21e-8b92fc6ec83c","slug":"awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz","name":"rikarazome/prolog-reasoner","description":"[![rikarazome/prolog-reasoner MCP server](https://glama.ai/mcp/servers/rikarazome/prolog-reasoner/badges/score.svg)](https://glama.ai/mcp/servers/rikarazome/prolog-reasoner) 🐍 🏠 🍎 🪟 🐧 - SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.","capabilities":["mcp"],"protocols":["OPENCLAW"],"safetyScore":77,"overallRank":63,"trustScore":null,"trust":null,"source":"GITHUB_OPENCLEW","updatedAt":"2026-06-01T00:29:07.023Z"}