An MCP (Model Context Protocol) server that exposes SWI-Prolog as a debugging and diagnostic reasoning engine. Claude parses errors and symptoms, Prolog does logical deduction to find root causes.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results