MseeP.ai Security Assessment Badge

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:

Operation	Avg. Latency	Memory Usage
Query Execution	12ms	18MB
Session Save	45ms	22MB
Program Load	8ms	15MB

---

Acknowledgements:
Built with Trealla Prolog and MCP Protocol