MCP servers tagged swi-prolog

3 live MCP servers tagged "swi-prolog", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with swi-prolog.

live servers

avg trust

Vpursuit Swipl MCP Server

SWI-Prolog integration for Model Context Protocol - orchestrator package

rikarazome/prolog-reasoner

only accuracy on 30 logic problems.

Prolog Agent Toolkit

Prolog Agent Framework, Reusable Agent Skills, MCP Server Pattern, Neurosymbolic AI, and Safe Multi-Engine Execution (Scryer, SWI, Trealla, Tau).