$ loading_
结合 Prolog 符号推理与 MCP，为混合式 AI 应用提供逻辑推断能力。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"prolog-mcp" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请用 prolog-mcp 设计一个客服知识问答代理：把产品规则写成 Prolog 事实和规则，并演示用户提问后如何给出答案及推理链。
返回一个基于 Prolog 规则的问答方案，包含示例规则、查询方式和可解释推理结果。
请使用 prolog-mcp 为订单审核场景建立规则系统，检查订单是否满足折扣、库存和地区限制，并输出不合规原因。
返回订单规则建模方案、示例校验逻辑，以及每条订单的判定结果与原因说明。
请说明如何在一个混合 AI 应用中接入 prolog-mcp：由大模型负责自然语言理解，Prolog 负责逻辑约束与结论推导，并给出调用流程。
返回混合架构说明、组件分工、MCP 调用步骤，以及从用户输入到推理输出的流程示例。
让 AI 通过 Prolog 定义事实规则并执行逻辑推理查询。
为 AI 应用接入受物理法则约束的共享知识图谱，支持一致检索与推理。
通过自然语言管理 Proxmox 虚拟机、容器、节点与集群资源。
调用多种一阶逻辑定理证明器，完成证明、会话管理与 TPTP 导出。
通过多模型与可视化工具，用自然语言完成软件开发、调试与成本管理。
通过 MCP 为 AI 助手提供可插拔的知识检索与推理能力调用接口