SWI-Prolog
This server lets tools-enabled LLMs work directly with SWI‑Prolog. It supports loading Prolog files, adding/removing facts and rules, listing symbols, and running queries with two modes: deterministic pagination and true engine backtracking.
What is SWI-Prolog?
SWI-Prolog is a Model Context Protocol (MCP) server that allows AI assistants like Claude, Cursor, and VS Code to this server lets tools-enabled llms work directly with swi‑prolog. it supports loading prolog files, adding/removing facts and rules, listing symbols, and running queries with two modes: deterministic...
This server lets tools-enabled LLMs work directly with SWI‑Prolog. It supports loading Prolog files, adding/removing facts and rules, listing symbols, and running queries with two modes: deterministic pagination and true engine backtracking.
This server falls under the Developer Tools category on MCPgee, the world's largest MCP server directory with 33,000+ servers.
Features
- This server lets tools-enabled LLMs work directly with SWI‑P
Use Cases
Maintainer
Works with
Installation
Manual Installation
npx swiplConfiguration
Configuration Details
claude_desktop_config.json
Performance
Response Metrics
Resource Usage
Frequently Asked Questions about SWI-Prolog
What is SWI-Prolog?
SWI-Prolog is a Model Context Protocol (MCP) server that this server lets tools-enabled llms work directly with swi‑prolog. it supports loading prolog files, adding/removing facts and rules, listing symbols, and running queries with two modes: deterministic pagination and true engine backtracking. It connects AI assistants to external tools and data sources through a standardized interface.
How do I install SWI-Prolog?
Follow the installation instructions on the SWI-Prolog GitHub repository. Clone the repo, install dependencies, and add the server config to your AI client.
Which AI clients work with SWI-Prolog?
SWI-Prolog works with all major MCP-compatible AI clients including Claude Desktop, Claude Code, Cursor, VS Code (GitHub Copilot), Windsurf, and Cline.
Is SWI-Prolog free to use?
Yes, SWI-Prolog is open source and available under the BSD 3-Clause license. You can use it freely in both personal and commercial projects.
SWI-Prolog Alternatives — Similar Developer Tools Servers
Looking for alternatives to SWI-Prolog? Here are other popular developer tools servers you can use with Claude, Cursor, and VS Code.
Ecc
★ 188.2kThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Javaguide
★ 155.8kJava 面试 & 后端通用面试指南，覆盖计算机基础、数据库、分布式、高并发、系统设计与 AI 应用开发
Gemini CLI
★ 104.5kA secure MCP server that wraps the Google Gemini CLI, allowing clients to query Gemini models using local OAuth sessions without requiring an API key. It provides tools for model interaction and diagnostics with built-in protection against command in
Awesome MCP Servers
★ 87.3k⭐ Curated list of Model Context Protocol (MCP) servers - tools that extend Claude Desktop, Cursor, Windsurf, and other MCP clients with custom capabilities.
MCP Servers
★ 86.0kModel Context Protocol Servers
CC Switch
★ 77.5kA cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Gemini CLI & Hermes Agent. Only official website: ccswitch.io
Browse More Developer Tools MCP Servers
Explore all developer tools servers available in the MCPgee directory. Each server includes setup guides for Claude, Cursor, and VS Code.
Set Up SWI-Prolog in Your Editor
Choose your AI client for step-by-step setup instructions.
Quick Config Preview
Add this to your claude_desktop_config.json or .cursor/mcp.json
Ready to use SWI-Prolog?
Browse our complete directory of 33,000+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.