Löschen  Revidieren 

Jekejeke Minlog 0.7.3 (Integration der logischen Funktionen)

Jan Burse, 09. Aug 2014, 22:01

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

Hinzufügen 

Kommentare