S

SWI-Prolog

1-Click Ready

Provides secure access to SWI-Prolog logic programming through dual query modes with sandboxed execu...

113 views
0 installs
Updated Nov 21, 2025
Not audited
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.

Quick Start

View on GitHub

More for AI and Machine Learning

View All →

More for Developer Tools

View All →

Similar MCP Servers

L

Logic-LM (Answer Set Programming)

Enhances language models with formal logical reasoning capabilities by translating natural language problems to Answer Set Programming code, executing symbolic reasoning with Clingo solver, and interpreting results back to natural language for constraint satisfaction and multi-step deduction tasks.

AI and Machine Learning

Report Issue

Thank you! Your issue report has been submitted successfully.