Prolog MCP
Interface UIpar snoglobe
Exécutez des requêtes Prolog et gérez des prédicats directement depuis votre assistant IA.
Ce que fait l'application
Ce serveur MCP connecte votre assistant IA à un environnement Prolog, permettant au modèle d'exécuter des requêtes de programmation logique, de lancer du code Prolog et d'explorer les prédicats existants pour effectuer des raisonnements symboliques complexes.
Outils
execute_prolog: Exécute une requête Prolog et renvoie le résultat.search_predicates: Recherche les prédicats existants dans l'environnement Prolog actuel.query_prolog: Effectue une requête ciblée pour récupérer des faits ou des règles spécifiques.
Installation
Ajoutez ce qui suit à votre fichier claude_desktop_config.json :
{
"mcpServers": {
"prolog-mcp": {
"command": "/path/to/prolog_mcp_executable"
}
}
}
Hôtes supportés
- Claude Desktop
Installation rapide
npx -y @smithery/cli install @snoglobe/prolog_mcp --client claudeInformations
- Tarification
- free
- Publié
- 6/29/2026
- étoiles
- 0
Catégories
Choisissez votre client IA et suivez les étapes ci-dessous.
Claude Desktop
{"mcpServers": {"prolog-mcp": {"command": "/path/to/prolog_mcp_executable"}}}Apps similaires
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.