# Prolog MCP Server

> Use this tool when you need to integrate logical reasoning into your application, enabling large language models (LLMs) to define facts and rules in Prolog and execute queries for inference and decision-making. It solves problems requiring knowledge representation, reasoning, and deduction, providing inputs of Prolog code and outputs of query results. Ideal for use cases involving expert systems, natural language processing, and artificial intelligence.

Canonical page: https://skillsregistry.net/skills/wendelinism-prolog-mcp-server  
JSON: https://api.skillsregistry.net/v1/skills/wendelinism-prolog-mcp-server

## Description

Enables LLMs to define Prolog facts and rules and execute queries via SWI-Prolog for logical reasoning.

## Trust

- **Trust score (0–1):** 0.94
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-09-28

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/gt6zja4t8h)
- **Repository:** <https://github.com/wendelinism/prolog-mcp-server>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "wendelinism-prolog-mcp-server"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/wendelinism-prolog-mcp-server` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/wendelinism-prolog-mcp-server/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt