SWI-Prolog
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.
About
SWI-Prolog MCP server by Peter Trebing that provides AI assistants with secure access to Prolog logic programming through dual query modes: standard call_nth/2 for step-by-step solution retrieval and engine mode for true backtracking control. The implementation features a sandboxed execution environment with whitelisted predicates, dynamic knowledge base management (assert/retract facts and rules), file consultation with directive blocking, and unified session management that prevents mode conflicts while supporting mathematical operations, list processing, and recursive rule evaluation. Built with TypeScript and designed for educational use cases, logic puzzle solving, knowledge representation tasks, and AI reasoning workflows that benefit from Prolog's declarative programming paradigm with safety controls that block dangerous system calls and file operations.
Is this your product? Claim this listing with an email at your domain to post updates.
Is this your project?
Claim this listing to manage your page, access analytics, and unlock upgrades. Verification takes 60 seconds.
Share This Project
Embed Badge
Add this badge to your README:
[](https://hifriendbot.com/ai-list/swi-prolog/)
