Jekejeke Minlog 0.7.3 (Integration der logischen Funktionen)

Jan Burse, erstellt 09. Aug 2014 Hallo Zusammen, Wir haben soeben eine neue Ausgabe von Jekejeke Minlog aufgeschaltet. Die Ausgabe beinhaltet hauptsächlich einige architektonische Verbesserungen: - Integration der logischen Funktionen: Es ist uns gelungen eine Bibliothek für hypothetisches Schliessen auf die Beine zu stellen, die von der Vorwärtsverkettung wiederverwendet und erweitert wird. Die Termdomäne haben wir ebenfalls mit einem neuen Constraint diff/3 in Angriff genommen. - Quelloffen: Es ist uns noch nicht gelungen den Chartparser und das CLP(FD) quelloffen zu machen. Aber es gibt trotzdem einigen Fortschritt. Die folgenden Module sind schon verfügbar: assume: Annahmewerkzeugkasten hypo: Hypothetisches Schliessen delta: Vorwärtsverkettung diff: Termdomäne Die Website http://www.jekejeke.ch/ verfügt nun über einen Abschnitt für offene Quellen. Einfach auf "Unterstüzung" und dann "Quellen" klicken. Fröhliches Kodieren! Herunterladen: Minimale Logik

Kommentare