Jekejeke Prolog 1.2.4 (SAT solver)
Jan Burse, created Oct 22. 2017
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:
?- sat(X=<Y), sat(Y=<Z), sat(Z=<X), labeling([X,Y,Z]).
X = 0, Y = 0, Z = 0 ;
X = 1, Y = 1, Z = 1