MCP-сервер, подключающий SWI-Prolog как логический калькулятор для LLM. Выполняет запросы на Prolog, решает комбинаторные задачи, выдаёт прозрачные цепочки рассуждений. Полезен разработчикам AI-аге...
184 местоВыполнение кодаЗнания и памятьИИ и машинное обучениеИнструменты для разработчиков
