rikarazome/prolog-reasoner
🔌 MCP-Serverrikarazome
SWI-Prolog-Ausführung via MCP für LLMs mit CLP(FD), Negation und Rekursion.
rikarazome/prolog-reasoner ist ein Model Context Protocol (MCP)-Server, der Sprachmodellen die Ausführung von SWI-Prolog-Code ermöglicht. Er unterstützt erweiterte Funktionen wie Constraint Logic Programming über endliche Domänen (CLP(FD)), Negation-as-Failure und rekursive Prädikate. Der Server ist darauf ausgelegt, logisches Denken von LLMs auf eine dedizierte Prolog-Engine auszulagern und die Genauigkeit zu verbessern. In Benchmarks mit 30 Logikproblemen erreichten LLMs mit diesem Server 90 % Genauigkeit im Vergleich zu 73 % bei direkter Lösung. Dies ermöglicht zuverlässigeres Denken in KI-Agenten, die deduktive oder constraint-basierte Aufgaben erfordern.
💡Highlights
- ├─SWI-Prolog via MCP ausführen
- ├─Unterstützt CLP(FD) und Rekursion
- └─90% vs 73% reine LLM-Genauigkeit
🎯Für
- ├─KI-Forscher
- ├─Agentenentwickler
- └─Prolog-Enthusiasten