Die Jekejeke Prolog Laufzeitbibliothek ist eine Interpreter Implementierung von
Prolog die 100% in Java geschrieben wurde. Die Laufzeitbibliothek bietet eine
einfache Konsole-Schnittstelle und keinen Debugger. Die Umsetzung der Sprache
folgt im Wesentlichen dem ISO Prolog Kern Standard. Die Umsetzung verfügt ausserdem
über eine Programmierschnittstelle. Mehr...
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...
Die Minimale Logik Erweiterung liefert eine Komponente zur
Vorwärtsverkettung. Die Komponente kann auf normale Prologtexte
angewendet werden, ausserdem gibt es Chart, CHR und ASP Varianten.
In dem Paket sind auch Attributvariablen, Constraintlöser für CLP(FD)
und CLP(B) enthalten, sowie ein kleines Computer Algebra System (CAS).
Mehr...