SWI-Prolog

SWI-Prolog MCP Server: A Model Context Protocol server providing secure Prolog query execution with hybrid sandbox security model.

typescript

6

GitHub Stars

typescript

Language

4 months ago

First Indexed

3 weeks ago

Catalog Refreshed

Documentation & install

Readme and setup notes from the catalogue, plus a client-ready config you can copy for your MCP host.

Installation

Add the following to your MCP client configuration file.

Configuration

View docs

{
  "mcpServers": {
    "vpursuit-model-context-lab": {
      "command": "npx",
      "args": [
        "@vpursuit/swipl-mcp-server"
      ]
    }
  }
}

Available tools

loadProlog

Load a Prolog file into the knowledge base, making its predicates and rules available for queries.

assertFact

Add a new fact to the knowledge base at runtime.

retractFact

Remove an existing fact from the knowledge base.

dumpKB

Dump the current contents of the knowledge base for inspection or debugging.

queryStandard

Run a deterministic query using standard mode (non-backtracking) and paginate results.

queryEngine

Run a query using engine backtracking for full exploration of possible answers.

manageRoots

Discover and manage dynamic filesystem roots accessible to the Prolog integration.

loadPlugins

Load internal or external plugins to extend server capabilities at runtime.

startServer

Initialize and start the MCP server with the configured plugins and roots.