Prolog
Prolog MCP provides tools for executing Prolog programs, running queries, and discovering available predicates within a Prolog engine. Built using Go and the ichiban/prolog library, this implementation creates a bridge between AI assistants and Prolog's logical programming capabilities through three main tools: executing programs, running time-limited queries with solution collection, and exploring the predicate environment. The server handles query timeouts gracefully and formats solutions as structured data, making it useful for developers who want to leverage Prolog's reasoning capabilities directly from their AI assistant interactions.
Composite of vulnerability cleanliness, spec conformance, provenance, stability, and usage signals — scanned and weighted by Cognium. Human and agent signals are tracked separately. Last scanned 2026-09-19.
Scan details: Circle-IR · 2026-09-19 · Appeal
View full trust & usage report →Metadata
- Version
- 1.0.0
- Skill type
- atomic
- Execution layer
- mcp-remote
- Category
- other
- Source
- PulseMCP
- Repository
- github.com/snoglobe/prolog_mcp
- Author type
- human
- Last scanned
- 2026-09-19
- Updated
- 2026-09-19
Use via MCP
Resolve Prolog from your agent
Streamable HTTP transport at https://api.skillsregistry.net/mcp. No auth for read tools. Discovery: .well-known/mcp.json.
One command in your shell — Claude Code wires it up and verifies the connection. Run /mcp in any session to confirm.
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp--scope user for --scope project to commit it to .mcp.json.