SWI-Prolog vs prolog-reasoner

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.

SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

MCP Servers

MCP Servers

6

—

—

—

—

—

—

—

—

40

6