ZPM — Zig Prolog MCP Server

Expose a Prolog knowledge base to AI agents via the Model Context Protocol.

What is ZPM?

ZPM is a Model Context Protocol server written in Zig that embeds a Trealla Prolog engine. It lets AI agents store facts, define rules, and run logical queries — bringing deterministic Prolog reasoning into MCP-compatible workflows.

Install

curl -fsSL https://raw.githubusercontent.com/awf-project/zpm/main/scripts/install.sh | sh

Or build from source:

git clone https://github.com/awf-project/zpm.git
cd zpm
make build

Quick Start

Add ZPM to your MCP client configuration:

{
  "mcpServers": {
    "zpm": {
      "command": "zpm",
      "args": ["serve"]
    }
  }
}

Then assert facts and run queries through your AI agent:

% Store a fact
depends_on(zpm, trealla_prolog).

% Query relationships
?- depends_on(zpm, X).