Connects Claude to SWI-Prolog for formal logic execution during conversation. Exposes execute_prolog for running arbitrary Prolog code plus four rule base tools for saving and reusing domain rules across calls. The LLM translates natural language problems into Prolog, Prolog handles the combinatorial search, and you get transparent reasoning you can inspect and debug. Includes CLP(FD) support for constraint problems and an optional proof tracer. Ships as both an MCP server (no API key needed) and a Python library with self-correction loops. Benchmarks show 90% accuracy on logic problems versus 73% for Claude alone. Reach for this when you need reliable multi-step inference, constraint satisfaction, or exhaustive search that LLMs struggle with natively.
claude mcp add --transport stdio rikarazome-prolog-reasoner uvx prolog-reasoner