Delete Topic

You can delete your topic:

Document:
Releases
Title:
Prolog 1.2.4
Heading:
Jekejeke Prolog 1.2.4 (SAT solver)
Text:
Dear All,

<a href="http://www.jekejeke.ch/idatab/doclet/prod/en/docs/15_min/05_down.jsp"><img src="baby_small.jpg" align="right" height="180" width="250"></a>We have just uploaded the new release of Jekejeke Prolog. We made a first use of the new API for attributed variables. So whats new in this release.

- Error Fixes:
  The new local modules from the previous release did break some stuff, so some fixes were needed. We also introduced a new improved handling of the variable_names/1 write term option.

- Module state:
  There is now a module state in the package term. This module provides trailed named variables. It provides the SWI-Prolog known predicates such as b_setval/2.

- Module clpb:
  Lets say hello to our new baby, a SAT solver written with the new API for attributed variables from the previous release and the new module state from this release. It provides the SWI-Prolog known syntax for CLP(B) constraints. It is part of the Jekejeke Minlog extension. Here is an example run:
<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>
Happy coding!

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

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

The deletion will delete all dependent comments.