Prolog Reasoner for Claude Code

io.github.rikarazome/prolog-reasoner

SWI-Prolog as a logic calculator for LLMs

client:Claude Code transport:stdio runtime:pypi

Install Prolog Reasoner in Claude Code

run in your project directory

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

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs