SWI-Prolog
Provides secure access to SWI-Prolog logic programming environment through an MCP server with sandboxed execution and dynamic knowledge base management.
7252 views4Local (stdio)
What it does
- Load and manage Prolog files
- Add and remove facts and rules dynamically
- Execute Prolog queries with deterministic pagination
- Run queries with true backtracking engine mode
- List Prolog symbols and predicates
- Perform mathematical operations in Prolog
Best for
Educational logic programming coursesSolving logic puzzles and constraintsAI reasoning workflow developmentInteractive Prolog development
Sandboxed execution for securityDual query modesZero setup with npx
