PrologMCP: A Standardized Prolog Tool Interface for LLM Agents

PrologMCP 把 Prolog 作为 stateful MCP server 暴露给 LLM agent，让模型负责翻译问题，符号求解器负责演绎推理。接口包含结构化错误报告和 per-session isolation，适配 translate-run-inspect-repair 循环。PARARULE-Plus 两个子集上，formalizer agent 在一般样本达到或追平 1.00 accuracy，在挑战子集仍接近 1.00/0.99，而 reasoning LLM 会降到 0.95/0.94；这说明深层演绎任务中外部符号工具仍有可衡量优势。