Prolog를 결합하는 neurosymbolic AI 서버는 하이브리드 AI 응용 프로그램에 대한 Model Context Protocol (MCP)과의 상징적인 이유입니다.

특징:

• Persistent Prolog 세션: 도구 호출 사이의 상태를 유지
• 세션 관리 : 디스크에 저장 /로드 지식베이스
• 4개의 핵심 공구:
• loadProgram: 로드 프로로그 predicates/rules
• runPrologQuery: 복잡한 논리 쿼리를 실행
• saveSession: Persist 세션 상태
• loadSession: 이전 세션 복원
• 모든 I/에 대한 Zod schema 검증을 통한 유형 안전 ₢ 킹
• WebAssembly 런타임: WASI 환경에서 Trealla Prolog

Cline/Roo/Copilot과 통합:

개발:

정보:

---

정보: 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