Prolog Entwicklungsumgebung

Herunterladen

Die Entwicklungsumgebung ist in einer Swing Version und in einer Android Version verfügbar. Die Android/Dalvik Kombination läuft im allgemeinen langsamer als die Swing/Hotspot Kombination. Diese Seite zeigt die aktuelle Hauptversion die auch weiterentwickelt wird. Für vorgängige eingefrorene Hauptversionen sei auf die Archive Seite verwiesen. Mehr...

Dokumentation

Die Entwicklungsumgebung ist eine Erweiterung der Laufzeitbibliothek. Sie bietet zusätzlich einen deterministischen Debugger sowie verschiedene Werkzeuge an. Zu den Werkzeugen gehört unter anderem eine Testfall Ausführungskomponente die auch eine Überdeckungsanalyse von Prologtexten bezüglich gegebener Testfälle liefern kann. Mehr...

Studien

Wir führen regelmässig Testfälle durch, die die Qualität der Prolog Laufzeitbibliothek sicherstellen. Die Testfälle verwenden die Testunerstützung der Prolog Entwicklungsumgebung, weshalb wir diese hier verortet haben. Die Testfälle prüfen sowohl die Verträglichkeit mit dem ISO Kern Prolog Standard, also auch die Verträglichkeit der häufigen Predikate mit deren Anforderungen. Mehr...

Archiv

Wir liefern hier vergangene letzte eingefrorene Hauptversionen des Prolog Interpreters sowohl für Swing als auch für Android. Diese Versionen werden nicht mehr weiter entwickelt. Für die aktuelleste Version der Prolog Entwicklungsumgebung sei auf die Herunterladen Seite verwiesen. Mehr...