PrologMCP: A Standardized Prolog Tool Interface for LLM Agents

PrologMCP is a new open-source server that standardizes the integration of Prolog as a stateful tool for language model agents using the Model Context Protocol (MCP). It features a compact tool interface and structured error reporting, facilitating a reusable translate-run-inspect-repair loop. Evaluation against reasoning LLMs like Claude Sonnet 4.6 and GPT-4.1 on PARARULE-Plus shows that a formalizer agent using PrologMCP achieves superior accuracy, particularly in challenging reasoning tasks, highlighting its potential as an effective alternative for enhancing deductive reasoning in AI applications.