rikarazome/prolog-reasoner
Что делает сервер
Выполнение SWI-Prolog языковой моделью с CLP(FD), рекурсией и отрицанием как неуспехом.
Инструменты разработчика · Сведения из MCP Каталога ↗
Снимок: 05.08.2026. Работа сервера не проверялась.
Полное описание из сохранённой выгрузки
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems
Текст источника · 05.08.2026.
Туториалы и подключение
Материалы источника для указанной пары сервера и клиента. Точные параметры установки и доступов сверяйте с документацией автора.
Документация автора
Клиенты, указанные в источнике: Cursor. Наличие записи не подтверждает проверенную совместимость.
Способ установки, поддерживаемые MCP-клиенты, необходимые права и актуальные условия использования уточняйте в документации автора.
Сведения о проекте
- Тематика
- Инструменты разработчика
- Снимок каталога
- 05.08.2026
- Получено
- 27.10.2026
- Обогащено
- 27.10.2026
Карточка в MCP Каталоге ↗ · Источник автора ↗
Описание и характеристики перенесены из сохранённого списка источника. Доступность проекта, работоспособность MCP-инструментов и условия лицензии отдельно не подтверждались.