Jekejeke Prolog 1.1.3 (CLP(FD) Testfälle und Reifikation)

Jan Burse, erstellt 02. Mai 2016 Hallo Zusammen, Wir haben soeben eine neue Ausgabe von Jekejeke Prolog aufgeschaltet. Wir haben hauptsächlich in unsere CLP(FD) Bibliothek investiert: - Bessere Fehlerbehandlung: Wir haben die Fehlerbehandlung der Jekejeke Prolog Laufzeitbibliothek überarbeitet. Es ist jetzt möglich einen Fehler in ther form throw(error(E,C)) zu werfen. Falls C uninstantiert ist wird der Interpreter automatisch den Stackverlauf auffüllen. Das Predikat sys_throw_error/1 ist verschwunden. - Runner, Diagnose and Report: Wir haben neue Module um Testfälle auszuführen, zu analysieren und zusammenzufassen hinzugefügt. Diese Module werden nun durch den ISO Kompatibilitätstest und die CLP(FD) Testfälle gemeinsam genutzt. Die Module sind im Paket testing der Jekejeke Prolog Entwicklungsumgebung zu finden. - CLP(FD) Testfälle und Reifikation: Wir haben ca. 100 Testfälle für den Kern des CLP(FD) Lösers gesammelt. Als dann haben wir das CLP(FD) über Prädikate wie (#<==>)/2, (#\/)/2, usw.. um Reifikation erweitert. Unser erster Versuch umfasst nur die Hauptfunktionalität und ist der Jekejeke Prolog Minimale Logik Erweiterung beigefügt. Um das CLP(FD) auszuführen muss die Jekejeke Minlog Erweiterung entweder mit der Jekejeke Laufzeit oder mit der Jekejeke Entwicklung kombiniert werden. Fröhliches Kodieren! Android Appstores: Google Play Herunterladen: Minlog Erweiterung

Kommentare