rikarazome/prolog-reasoner

SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.

Project and installation details

Categories: Code Execution.

Directory listing from awesome-mcp-servers; Frontier Now has not tested or reviewed this server.