Jekejeke Minlog 0.5 (Vorwärtsverkettung, Chartparser und CLP(FD))

Jan Burse, erstellt 20. Jul 2012, geändert 04. Aug 2012 Hallo Zusammen, Die erste Ausgabe von Jekejeke Minlog wurde soeben freigegeben. Die Schlaglichter sind: - Vorwärtsverkettung: Ein Prädikat kann mittels einer einfachen Deklaration in ein Vorwärtsverkettungsprädikat umgewandelt werden: :- forward a/1, b/1. b(X) :- a(X). Fakten können temporär mittels dem Prädikat post/1 hinterlegt werden, die Machinerie der Vorwärtsverkettung berechnet dann den Abschluss: ?- post(a(1)), b(X). X = 1 - Chartparser: Bei DCG Regeln wird ein Vorwärtsverkettungskopf erkannt und dann angemessen umgeschrieben. - CLP(FD): Wir haben einen kleinen Constraintlöser beigelegt, der die Constraints im Vorwärtsverkettungspeicher hält. Für vereinzelte Beispiele ist die Leistung gut. So kann die Laufzeit von 3000ms für eine Backtracking Lösung von SEND+MORE=MONEY mit dem Constraintlöser auf 30ms reduziert werden. Herunterladen: Minlog Modul Viel Spass

Kommentare