SWI-Prolog

Name: SWI-Prolog
Author: vpursuit

Access SWI-Prolog for secure logic programming, ladder logic, and PLC coding. Ideal for education, puzzles, and AI logic

Installation

Paste the snippet below into your client's config.

Installation

Quick info

Category: AI & Machine Learning
Transport: STDIO
License: BSD-3-Clause
GitHub stars: 8
Views: 263

Compatible with

Claude Code
Claude Desktop
codex
Cursor
gemini-cli
VS Code
Windsurf

GitHub repo

Found in: mcp.directory

Overview

Provides secure access to SWI-Prolog logic programming through dual query modes with sandboxed execution, dynamic knowledge base management, and mathematical operations for educational use cases, logic puzzle solving, and AI reasoning workflows.

Related servers

Context Portal

by greatscottymac

Context Portal: Manage project memory with a database-backed system for decisions, tracking, and semantic search via a k

762Claude CodeClaude Desktopcodex

TypeScript Refactoring

by mizchi

TypeScript Refactoring offers advanced TypeScript/JavaScript code analysis and intelligent refactoring for seamless and

447Claude CodeClaude Desktopcodex

Official

Arize Phoenix

by arize-ai

Arize Phoenix — unified interface for managing prompts, exploring datasets, and running LLM experiments across providers

9,459Claude CodeClaude Desktopcodex

Unity

by ivanmurzak

Empower your Unity projects with Unity-MCP: AI-driven control, seamless integration, and advanced workflows within the U

2,393Claude DesktopCursorVS Code

Createve.AI Nexus

by spgoodman

Createve.AI Nexus unifies REST API and MCP, integrating APIs for AI workflow automation with tools like Calendly API and

80,527Claude CodeClaude Desktopcodex

Penpot

by montevive

Integrate Penpot with electronic design automation software for browsing, retrieving, and exporting UI designs easily us

228Claude CodeClaude Desktopcodex