Jekejeke Prolog 1.3.8 (Constrained Optimization)
Jan Burse, created Jul 06. 2019, modified Jun 10. 2020
We just uploaded a new release of Jekejeke Prolog. The minlog extension got some new functionality:
- Soft Cut:
The Prolog interpreter is now able to inline the soft cut (*->)/2. We also replaced call/1 by an implementation that does inlining. The new dynamic inlining saves some memory and improves backtracking.
- Residue Variables:
There is a new support for residue variables in the Prolog interpreter and experimentation towards better attributed variable garbage collection has begun. We also renamed the predicate neq/2 to dif/2 and did some bug fixes.
- Constrainted Optimization:
The CLP(B) solver now features a predicate weighted_maximum/3, and the CLP(FD) solver now features a predicate label_maximum/2. Both predicates use the same branch and bound algorithm sprinkled with random.