Prolog MCP
Supports UIby snoglobe
Execute Prolog queries and manage predicates directly within your AI assistant.
What it does
This MCP server connects your AI assistant to a Prolog environment, allowing the model to execute logic programming queries, run Prolog code, and explore existing predicates to perform complex symbolic reasoning.
Tools
execute_prolog: Runs a Prolog query and returns the result.search_predicates: Searches for existing predicates in the current Prolog environment.query_prolog: Performs a targeted query to retrieve specific facts or rules.
Installation
Add the following to your claude_desktop_config.json:
{
"mcpServers": {
"prolog-mcp": {
"command": "/path/to/prolog_mcp_executable"
}
}
}
Supported hosts
- Claude Desktop
Quick install
npx -y @smithery/cli install @snoglobe/prolog_mcp --client claudeInformation
- Pricing
- free
- Published
- 6/29/2026
- stars
- 0
Categories
Choose your AI client and follow the steps below.
Claude Desktop
{"mcpServers": {"prolog-mcp": {"command": "/path/to/prolog_mcp_executable"}}}Related Apps
FinanceToolkit
MCP ServerProfessional-grade financial analysis toolkit for equities, options, and risk management.
DiffSitter MCP
MCP ServerAI-powered structural code navigation using tree-sitter ASTs for semantic understanding across 14+ languages.
OpenAI Apps SDK Examples
MCP AppOfficial example gallery of interactive MCP widgets for ChatGPT — 3D viewers, maps, carousels, shopping carts, and more.
Human MCP
MCP ServerGive AI agents human-like senses: visual analysis, image/video generation, speech synthesis, browser automation, and advanced reasoning — 29 MCP tools in one se
Shopify MCP Server
MCP ServerDirect interaction with Shopify store data via GraphQL API for managing products, customers, and orders.
Git MCP Server
MCP ServerFull-featured Git MCP server exposing 28 tools for AI agents to clone, commit, branch, diff, merge, rebase, and more via STDIO or Streamable HTTP.
CodexPotter
MCP ServerAutonomous reconciliation loop that drives Codex to align your codebase with instructed states.
Smart Coding MCP
MCP ServerSemantic code search for AI assistants using local embeddings — find code by meaning, not just keywords.