Jekejeke Prolog 1.4.7 (Occurs Check)

Jan Burse, erstellt 27. Jan 2021 Hallo Zusammen, Wir haben soeben eine neue Ausgabe von Jekejeke Prolog aufgeschaltet. Die folgenden wesentkich Verbesserungen sind enthalten: - Occurs Check: Es gibt jetzt ein Prologflag occurs_check welches auf true gesetzt werden kann, um den Occurs Check während der Unifikation einzuschalten. Der Zwischencode von Jekejeke Prolog beinhaltet eine neue Instruktion unify_linear, welche den Occurs Check wegoptimieren kann, auch wenn er angeschaltet ist. - Modul "lists": Ein Konflikt mit dem Modul "sets" wurde dadurch beseitigt, dass die Prädikate des Moduls "sets" mit dem Prefix eq_ versehen wurden. Wir haben dann einige neue Grundlisten Prädikate wie union/3, subtract/3, subset/2, etc.. zur besseren Kompatibilität mit SWI-Prolog eingeführt. - Closure Expansion: Da Prolog dicts wegfallen sind, haben wir auch die spezialisierte Funktionsexpansion aufgehoben. Als Ersatz wurde Closure Expansion wie in SWI-Prolog eingeführt. Closure Expansion funktioniert auch im Top-Level und für auswertbare Funktionen. Fröhliches Kodieren! #StaySafe Android Appstores: Google Play Herunterladen: Jekejeke Runtime

Kommentare