rikarazome/prolog-reasoner

SWI-Prolog as a logic calculator for LLMs — MCP server and…