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