一个神经符号AI服务器，结合了Prolog的符号推理与模型上下文协议（MCP），用于混合型AI应用。

特色：

• 持久Prolog会话：在工具调用之间保持状态
• 会话管理：将知识库保存/加载到磁盘
• 四项核心工具：
• loadProgram：加载Prolog谓词/规则
• runPrologQuery：执行复杂的逻辑查询
• saveSession：持续会话状态
• loadSession：恢复之前的会话
• 通过Zod模式验证所有I/O实现类型安全
• WebAssembly 运行时：WASI 环境中的 Trealla Prolog

与Cline/Roo/副驾驶的集成：

开发：

性能：

---

致谢： 采用Trealla Prolog和MCP协议构建

Prolog-MCP Server

A neurosymbolic AI server combining Prolog’s symbolic reasoning with Model Context Protocol (MCP) for hybrid AI applications.

Features:

• Persistent Prolog session: maintain state between tool calls
• Session management: save/load knowledge bases to disk
• Four core tools:
  • loadProgram: Load Prolog predicates/rules
  • runPrologQuery: Execute complex logical queries
  • saveSession: Persist session state
  • loadSession: Restore previous sessions
• Type safety via Zod schema validation for all I/O
• WebAssembly runtime: Trealla Prolog in WASI environment

Integration with Cline/Roo/Copilot:

{
  "mcpServers": {
    "prolog-mcp": {
      "command": "node",
      "args": [
        "prolog-mcp/dist/index.js"
      ],
      "disabled": false,
      "alwaysAllow": [
        "loadProgram",
        "runPrologQuery",
        "saveSession",
        "loadSession"
      ],
      "timeout": 15
    }
  }
}

Development:

git clone https://github.com/adamrybinski/prolog-mcp
cd prolog-mcp
npm install
npm run build

Performance:

---

Acknowledgements:
Built with Trealla Prolog and MCP Protocol