# Prolog Reasoner

Подключает логический движок SWI-Prolog к ИИ-агенту. Помогает решать комбинаторные задачи, проверять ограничения и строить многошаговый вывод.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 12
- Автор: rikarazome
- Лицензия: MIT · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/rikarazome/prolog-reasoner
- Обновлён: 2026-05-01
- HTML: https://affpapa.org/nevibecode/mcp/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`.

## Требования
- Нужно: Python и uv (команды через uvx)

## Установка

### Claude Code (родная платформа)

**Командой платформы**
```bash
claude mcp add prolog-reasoner -- uvx prolog-reasoner
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>

### Codex

**Командой платформы**
```bash
codex mcp add prolog-reasoner -- uvx prolog-reasoner
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "prolog-reasoner": {
            "command": "uvx",
            "args": [
                "prolog-reasoner"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "prolog-reasoner": {
            "type": "stdio",
            "command": "uvx",
            "args": [
                "prolog-reasoner"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>

### Gemini CLI

**Командой платформы**
```bash
gemini mcp add prolog-reasoner uvx prolog-reasoner
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from prolog-reasoner <команда>

## Когда брать
- проверить логическую непротиворечивость набора правил
- найти решение комбинаторной задачи планирования через CLP(FD)
- сохранить базу постоянных правил для повторного вызова в диалоге
- получить проверяемое дерево логического вывода для ответа модели

## Примеры запросов агенту
- Проверь непротиворечивость расписания с помощью SWI-Prolog и найди свободный слот.
- Сохрани правила ходов в базу с именем chess_moves.
- Выполни запрос mortal(X) через execute_prolog, используя правила из базы socrates.

## Похожие
- [kibi-mcp](https://affpapa.org/nevibecode/mcp/kibi-mcp.md) — MCP-сервер · ★ 10
- [weft-ai-language](https://affpapa.org/nevibecode/skills/weft-ai-language.md) — скилл · 418 установок
- [gpu-memory-model](https://affpapa.org/nevibecode/skills/gpu-memory-model.md) — скилл · 304 установки
- [cuda-debugging](https://affpapa.org/nevibecode/skills/cuda-debugging.md) — скилл · 301 установка
- [shell-scripting-pro](https://affpapa.org/nevibecode/agents/shell-scripting-pro.md) — субагент · 1479 установок
- [format-python-files](https://affpapa.org/nevibecode/hooks/format-python-files.md) — хук · 1405 установок

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md