Produkte

Prolog Laufzeitbibliothek

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...


Prolog Entwicklungsumgebung

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...


Minimale Logik Erweiterung

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...