$ loading_
让 AI 通过 Prolog 定义事实规则并执行逻辑推理查询。
该 MCP 工具材料显示其主要功能是在本机通过 SWI-Prolog 执行逻辑查询；未声明需要密钥或连接远程端点，整体未见明显高风险红旗。主要注意点在于其具备本地代码执行能力，且来源虽为开源可审计，但社区采用度和维护状态证据较弱。
材料明确标注无需密钥或环境变量，未见 API token、账号凭证或其他敏感凭证处理流程，凭证泄露面较小。
未声明任何远程端点或外部服务连接；按现有材料看，未见将用户数据发送到外部网络的事实依据。
其核心功能是通过 SWI-Prolog 执行事实、规则和查询，属于本机代码/进程执行能力。这是此类 MCP 工具的常规高权限面，需留意其可运行的 Prolog 逻辑及宿主环境隔离，但仅凭此不足以上调为高风险。
材料未说明会读写哪些具体文件或数据范围，但由于其在本机运行 Prolog 进程，默认应视为可能接触宿主机上提供给该进程的本地数据。当前未见明确过度授权描述，但数据边界说明不足。
来源为 third_party_registry，但有公开 GitHub 仓库且采用 MIT 许可证，源码可审计，这是明显的降风险因素。另一方面，社区采用度为 0 star、维护状态未知、README 缺失，供应链成熟度与持续维护证据偏弱，建议自行审阅实现与依赖。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"Prolog MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请把以下业务约束写成 Prolog 事实与规则，并检查是否存在冲突：员工不能同时属于两个互斥班次；夜班员工次日不能排早班；A、B 属于夜班，B 次日被排到早班。请给出查询结果与冲突说明。
输出 Prolog 事实、规则、查询语句，以及检测到的冲突结论。
用 Prolog 表示以下关系：张三是李四的父亲，李四是王五的母亲，赵六是李四的兄弟。请定义 parent、grandparent、sibling 规则，并查询谁是王五的祖父母和舅舅。
返回完整规则、查询结果，并解释推理链条。
请把以下软件安装前置条件建模为 Prolog：安装插件需要先安装核心包；核心包依赖运行时；当前已安装运行时但未安装核心包。查询是否满足安装插件的条件，并列出缺失项。
给出依赖事实、推理规则、可安装性判断和缺失依赖列表。
将多个 MCP 服务器聚合为单一入口，便于统一接入各类工具与资源。