ZPM — Zig Prolog MCP Server
Docs
  • Getting Started
    • Getting Started with zpm MCP Server
  • User Guide
    • Fact Deletion: Remove and Clean Up Knowledge
    • Fact Update and Upsert: Modify Knowledge
    • Find Predicate References: Safe Refactoring
    • Knowledge Base Overview
    • Knowledge Base Persistence
    • Memory Segments
    • Project Initialization
    • Quality Checks: Verify Consistency and Explain Reasoning
    • Rename Predicates Safely
    • Schema Discovery: Explore the Knowledge Base
    • Segmented Memories
    • Truth Maintenance System: Manage Assumptions and Beliefs
    • Upgrading zpm
  • Reference
    • CLI Reference
    • MCP Tools Reference
    • Prolog Engine Reference
    • Site Configuration Reference
  • Architecture Decision Records
    • 0001: MCP Server with STDIO Transport via mcp.zig
    • 0002: Scryer-Prolog Integration via Rust FFI Static Library
    • 0003: Knowledge Base Persistence via Write-Ahead Journal and Snapshots
    • 0004: Trealla Prolog via C FFI Replacing Scryer-Prolog
    • 0005: Reclaim zig-cli for All Argv Parsing
    • Architecture Decision Records
ZPM — Zig Prolog MCP Server
  • Home
  • Docs
  • GitHub

Search

Loading search index…

No recent searches

No results for "Query here"

  • to select
  • to navigate
  • to close

Search by FlexSearch

Getting Started

Getting Started With Zpm MCP Server →
  • Privacy Policy
  • Built with Doks