Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03420.jsonl.gz/2913

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