wendelinism

Prolog MCP Server

让 AI 通过 Prolog 定义事实规则并执行逻辑推理查询。