rikarazome/prolog-reasoner

（英文原文）SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.

查看项目与安装说明

分类: 代码执行.

用途说明来自 awesome-mcp-servers 清单；Frontier Now 尚未测试或审查该服务器。