Prolog Reasoner

About Prolog Reasoner

Use Prolog Reasoner with your agent

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

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

Frequently asked questions

What is Prolog Reasoner?

Prolog Reasoner is an MCP (Model Context Protocol) server by rikarazome in the AI & ML category. SWI-Prolog as a logic calculator for LLMs

How do I connect Prolog Reasoner to Claude, Cursor, or another MCP client?

Install Prolog Reasoner from its pypi package (prolog-reasoner) and register it under "mcpServers" in your client's MCP configuration — for example claude_desktop_config.json or Cursor's mcp.json — then restart the client.

Is Prolog Reasoner open source?

Yes — the source code is public at github.com/rikarazome/prolog-reasoner, with 8 GitHub stars.

Can AI agents pay to use Prolog Reasoner?

Not yet through Loomal — Prolog Reasoner is listed as a free directory entry. If its maintainer verifies ownership, they can set per-call USDC pricing that agents pay over x402, with settlement on Base.