Jekejeke Minlog 0.6.2 (Vorwärtsdebugger und hypothetische Ableitungen)

Jan Burse, erstellt 06. Jan 2013, geändert 26. Sep 2018 Hallo Zusammen, Wir haben soeben eine neue Ausgabe von Jekejeke Minlog aufgeschaltet. Diese Ausgabe enthält den allerersten Vorwärtsdebugger und einige neue Funktionalität. - Vorwärtsdebugger I: Falls Sie das Jekejeke Minlogmodule zusammen mit der Jekejeke Entwicklungsumgebung benutzen, werden bei der Vorwärtsverkettung eigene Ports angezeigt: Post <Fakt> Diff <Veränderung> More <Veränderung> Done <Fakt> Diese Ports werden gezeigt wenn das Prädikat zur Berechnung der Veränderungen aufgerufen wird. - Vorwärtsdebugger II: Falls Sie das Jekejeke Minlogmodule zusammen mit der Jekejeke Entwicklungsumgebung benutzen, wird der Chartparser neu die Aufbauphase des Chart und die Abfragephase des Chart im Debugger zeigen. - Hypothetische Ableitungen I: Das Verb 'assume' fügt temporär eine Klausel ein, das Verb 'retire' löscht temporär eine Klausel. Beide Verben gibt es in zwei Versionen, eine Version bei der die Veränderung für die Dauer eines Unterziels besteht, und eine Version bei der die Veränderung für die Dauer der Forführung besteht. - Hypothetische Ableitungen II: Das assume und retire bilden die Basis für die Veränderungen während der Berechnung des Vorwärtsabschlusses. Mit post/2 liefern wir nun Vorwärtsabschlusses der für die Dauer eines Unterziels besteht, wobei das alte post/1 we bisanhin den Vorwärts- abschlusses für die Dauer der Forführung berechnet. Viel Spass beim Kodieren! Herunterladen: Minlog Modul Änderungskataloge: Minlog Modul

Kommentare