PrologMCP: открытый сервер для делегирования логических задач от LLM к Prolog
Исследователи представили PrologMCP — открытый сервер, который интегрирует язык логического программирования Prolog с большими языковыми моделями (LLM) через протокол MCP (Model Context Protocol). Этот инструмент призван решить проблему глубинного дедуктивного вывода, с которым даже современные reasoning-модели справляются дорого и не всегда успешно.
Суть подхода — символьное делегирование: LLM переводит задачу на формальный язык, а специализированный решатель (Prolog) выполняет сам вывод. PrologMCP предоставляет компактный интерфейс, структурированные сообщения об ошибках и изоляцию сессий, что позволяет организовать цикл «перевод — выполнение — проверка — исправление» как повторяемый примитив для агентов, поддерживающих MCP.
В экспериментах авторы сравнили формализатор с PrologMCP против стандартных и reasoning-моделей (Claude Sonnet 4.6, GPT-4.1, o4-mini) на двух наборах данных PARARULE-Plus. На общей выборке формализатор показал точность 1.0, совпав с лучшими reasoning-моделями и значительно обойдя стандартные (0.762 у GPT-4.1).
На более сложном подмножестве, где natural-language reasoning часто сбоит, формализатор сохранил почти идеальный результат (1.0/0.99), тогда как reasoning-модели снизили точность до 0.95/0.94. Это подтверждает, что делегирование вывода Prolog через MCP — надёжная и «прозрачная» альтернатива длительным цепочкам рассуждений на естественном языке.
PrologMCP распространяется как open-source и может быть легко интегрирован в существующие агентные системы. Авторы отмечают, что такой подход не требует модификации самих LLM и позволяет добиться высокой точности на задачах, требующих строгого логического вывода.
Разработка особенно актуальна для приложений, где надёжность и проверяемость критичны: автоматизация юридического анализа, верификация программ, формальное доказательство теорем. Протокол MCP уже поддерживается рядом фреймворков, что упрощает внедрение.
