Last released Jul 13, 2026
MCP server for deterministic logical reasoning via Prolog — transforms facts into formal proofs
Supported by
