Prolog Reasoner

SWI-Prolog as a logic calculator for LLMs

GitHub · PyPI · Registry

Dev tools & GitHub AI models & media

Install

Run it directly:

uvx prolog-reasoner

Or add it to your client config (Claude Desktop claude_desktop_config.json, Cursor .cursor/mcp.json):

{
  "mcpServers": {
    "prolog-reasoner": {
      "command": "uvx",
      "args": [
        "prolog-reasoner"
      ]
    }
  }
}

Generated from the package metadata in the official MCP Registry. MCP Morning does not run or test servers; check required environment variables in the project README.

Alternatives