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
MarkItDown-MCP is a lightweight server for converting URIs to Markdown.
servers
Model Context Protocol Servers
Time
A Model Context Protocol server for time and timezone conversions.
Filesystem
Node.js MCP Server for filesystem operations with dynamic access control.
Sequential Thinking
A structured MCP server for dynamic problem-solving and reflective thinking.
git
A Model Context Protocol server for Git automation and interaction.