PrologMCP: A Standardized Prolog Tool Interface for LLM Agents

In three linesPrologMCP exposes Prolog as a stateful tool via Model Context Protocol for LLM agents. Tested on PARARULE-Plus with Claude Sonnet 4.6, GPT-4.1, and o4-mini, the system achieves 1.00 accuracy on the general set and 0.99–1.00 on the challenging set, outperforming reasoning models on deductive tasks.

Summary generated by Claude — human-verified