MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
