ПРОФИЛЬ / ИНСТРУМЕНТЫ РАЗРАБОТЧИКА

prolog-reasoner

Выполнение SWI-Prolog языковой моделью с CLP(FD), рекурсией и отрицанием как неуспехом.

Репозиторий — откроется в новой вкладкеСайт или документация — откроется в новой вкладке

СВЕДЕНИЯ ИЗ ИСХОДНОЙ БАЗЫ

О проекте

SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems

Исходное описание, снимок базы от 2026-10-03. Это не самостоятельная проверка редакции all-mcp.ru.