MCP servers tagged prolog

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

live servers

avg trust

Chiasmus

Chiasmus is an MCP server that gives language models access to formal verification

Vpursuit Swipl MCP Server

SWI-Prolog integration for Model Context Protocol - orchestrator package

rikarazome/prolog-reasoner

only accuracy on 30 logic problems.