Thema löschen

Sie können Ihr Thema löschen:

Dokument:
Erscheinungen
Titel:
Prolog 1.2.4
Überschrift:
Jekejeke Prolog 1.2.4 (SAT Löser)
Text:
Hallo Zusammen,

<a href="http://www.jekejeke.ch/idatab/doclet/prod/docs/15_min/05_down.jsp"><img src="baby_small.jpg" align="right" height="180" width="250"></a>Wir haben soeben eine neue Ausgabe von Jekejeke Prolog aufgeschaltet. Die neue API für attributierte Variablen wurde zum ersten mal eingesetzt. Was gibts Neues in dieser Ausgabe:

- Fehler Behebungen:
  Bei den neuen lokalen Module aus der vorhergehenden Ausgabe sind uns einige Fehler unterlaufen, sodass einige Verbesserungen nötig waren. Wir haben auch eine neue Behandlung der variable_names/1 write term Option eingeführt.

- Modul state:
  Es gibt nun ein Modul state im Paket term. Diese Modul liefert rücknehmbare benannte Variabeln. Es liefert die von SWI-Prolog bekannten Prädikate we b_setval/2.

- Modul clpb:
  Sagt Hallo zu unseren neuen Baby, ein SAT Löser der mit der neuen API für attrbutierte Variabeln aus der vorhergehenden Ausgabe und dem Modul state aus dieser Ausgabe geschrieben wurde. Er liefert die von SWI-Prolog bekannte Syntax für CLP(B) Bedingungen. Er ist Teil der Jekejeke Minlog Erweiterung. Hier ein Beispiellauf:
<code>
  ?- use_module(library(finite/clpb)).

  ?- sat(X=&lt;Y), sat(Y=&lt;Z), sat(Z=&lt;X), labeling([X,Y,Z]).
  X = 0, Y = 0, Z = 0 ;
  X = 1, Y = 1, Z = 1
</code>
Fröhliches Kodieren!

<strong>Android Appstores:</strong>
<a href="http://play.google.com/store/apps/details?id=jekmin.platform.headless">Google Play</a>

<strong>Herunterladen:</strong>
<a href="http://www.jekejeke.ch/idatab/doclet/prod/docs/15_min/05_down.jsp">Minlog Erweiterung</a>
 

Durch das Löschen werden alle dazugehörenden Kommentare gelöscht.