Content
# Prolog MCP
[](https://smithery.ai/server/@snoglobe/prolog_mcp)
An MCP that provides tools for executing Prolog, querying it, and searching existing predicates.
# To install
### Installing via Smithery
To install prolog_mcp for Claude Desktop automatically via [Smithery](https://smithery.ai/server/@snoglobe/prolog_mcp):
```bash
npx -y @smithery/cli install @snoglobe/prolog_mcp --client claude
```
### Manual Installation
Uhhhh build it to an executable and add the full path of the executable to your MCP config with no args
Connection Info
You Might Also Like
MarkItDown MCP
Converting files and office documents to Markdown.
Time
Obtaining current time information and converting time between different...
Filesystem
Model Context Protocol Servers
Sequential Thinking
Offers a structured approach to dynamic and reflective problem-solving,...
Git
Model Context Protocol Servers
Context 7
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors