# Prolog Reasoner

SWI-Prolog as a logic calculator for LLMs

- Weekly downloads: n/a
- GitHub stars: 12
- Health: at-risk
- Repository: https://github.com/rikarazome/prolog-reasoner
- Registry names: io.github.rikarazome/prolog-reasoner
- Categories: Dev tools & GitHub, AI models & media
- Snapshot: 2026-10-16

## Install

```sh
uvx prolog-reasoner
```

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

Source: https://mcpmorning.com/mcp/rikarazome-prolog-reasoner/