MCP-сервер

prolog-reasoner

Описание из исходного каталога

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