Search for a command to run...
1 MCPs · 0 installs total
Enables LLMs to define Prolog facts and rules and execute queries via SWI-Prolog for logical reasoning.