Prolog Reasoner — MCP-сервер для Claude Code: обзор и установка
Подключает логический движок SWI-Prolog к ИИ-агенту. Помогает решать комбинаторные задачи, проверять ограничения и строить многошаговый вывод.
claude mcp add prolog-reasoner -- uvx prolog-reasonerЧто делает Prolog Reasoner
Языковые модели часто ошибаются в строгой логике и переборе вариантов. Этот сервер передаёт такие расчёты интерпретатору SWI-Prolog. Модель формулирует правила и факты, а движок вычисляет ответ и возвращает проверяемый результат.
В набор входят инструмент execute_prolog для запуска запросов и функции управления базой знаний: save_rule_base, list_rule_bases, get_rule_base и delete_rule_base. Правила можно сохранить один раз под коротким именем и подключать к последующим запросам без дублирования текста. Поддерживаются рекурсия, отрицание как неуспех и ограничения CLP(FD). Опция trace строит дерево доказательства.
Без установленного SWI-Prolog версии 9.0 или выше в PATH сервер работать не сможет. Для запуска также требуется Python от 3.10. При этом внешние ключи API для самого MCP-сервера не нужны: он работает локально через uvx.
Какие задачи решает
- проверить логическую непротиворечивость набора правил
- найти решение комбинаторной задачи планирования через CLP(FD)
- сохранить базу постоянных правил для повторного вызова в диалоге
- получить проверяемое дерево логического вывода для ответа модели
Примеры запросов агенту
- Проверь непротиворечивость расписания с помощью SWI-Prolog и найди свободный слот.
- Сохрани правила ходов в базу с именем chess_moves.
- Выполни запрос mortal(X) через execute_prolog, используя правила из базы socrates.
Как установить Prolog Reasoner
Командой платформы
claude mcp add prolog-reasoner -- uvx prolog-reasoneruvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>
Командой платформы
codex mcp add prolog-reasoner -- uvx prolog-reasoneruvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>
Файл настроек
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}uvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>
Файл настроек
{
"servers": {
"prolog-reasoner": {
"type": "stdio",
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}uvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>
Командой платформы
gemini mcp add prolog-reasoner uvx prolog-reasoneruvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Prolog Reasoner
Как установить Prolog Reasoner в Claude Code?
Выполните команду claude mcp add prolog-reasoner -- uvx prolog-reasoner. После добавления инструмент сразу доступен в сессии.
Что делает Prolog Reasoner?
Он даёт модели доступ к SWI-Prolog для точных логических расчётов, поиска решений с ограничениями и перебора вариантов. Ответы возвращаются в структурированном виде.
Нужен ли ключ API для работы MCP-сервера?
Нет, самому MCP-серверу ключи не нужны, так как код выполняется локально. Токены OpenAI или Anthropic требуются только при использовании библиотеки Python в автономном режиме.
