Prolog
Bridges AI systems with Prolog's logical programming capabilities through tools for executing programs, running time-limited queri
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.
Source
Repository: https://github.com/snoglobe/prolog_mcp
Maintain Prolog?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[Prolog on getagentictools](https://getagentictools.com/mcp/snoglobe-prolog-mcp?ref=badge) Related mcp
Steam Web API Integrates with the Steam Web API. Allows for querying various stats, such as games in your library and their respective playtime.
Inkscape Controls Inkscape vector graphics editor via D-Bus and CLI with tools for file conversion, path operations, image analysis, and gr
Rigol DS1000Z Oscilloscope Controls Rigol DS1000Z series oscilloscopes over LAN for measurements, waveform capture, and instrument configuration.
Whoiser Provides a lightweight server for performing WHOIS lookups using the whoiser library, enabling retrieval of domain registration an
LLM Council Multi-LLM deliberation council with voting, debate, synthesis, critique, and verification protocols.
Memory LibSQL High-performance persistent memory system for Model Context Protocol (MCP) powered by libSQL