Prolog Reasoner

local MCP server

Installation

Terminal

claude mcp add prolog-reasoner -- uvx prolog-reasoner

Run in your project folder. Add --scope user to use it everywhere.

Add to claude_desktop_config.json or .cursor/mcp.json.

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

SWI-Prolog as a logic calculator for LLMs

Prolog Reasoner is a local MCP server distributed as the pypi package prolog-reasoner.

Run: claude mcp add prolog-reasoner -- uvx prolog-reasoner

Run: codex mcp add prolog-reasoner -- uvx prolog-reasoner

NameStars