Prolog MCP Server

Example Use Cases

• 1

  Perform complex symbolic reasoning or logical inference as part of a larger multimodal workflow.

• 2

  Maintain and reuse a persistent Prolog knowledge base across multiple tool calls and sessions.

• 3

  Run, test, and persist Prolog programs remotely with validated I/O and session save/load capabilities.

Description

This server runs a Trealla Prolog runtime in a WASI/WebAssembly environment and exposes Prolog tool calls over MCP. It maintains persistent Prolog sessions, supports saving and loading knowledge bases to disk, and provides four core tools (loadProgram, runPrologQuery, saveSession, loadSession) with Zod-based type validation. It's intended to let agents execute complex symbolic logic, manage long-lived Prolog state, and integrate logic-based reasoning into broader AI pipelines.