Back to directory
rikarazome/prolog-reasoner

rikarazome/prolog-reasoner

@rikarazome

SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

prologlogic-reasoningswi-prologllmreasoninglogic-calculatorcontext

Installation & Configuration

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

Information

Transport
stdio
Language
Python
Created
2026/6/17
Updated
2026/6/17