Prolog ReasonerProlog Reasoner

rikarazome/prolog-reasoner

MCP-сервер логического вывода на Prolog.