Jekejeke Prolog 1.3.8 (Constrained Optimization)

Jan Burse, created Jul 06. 2019, modified Jun 10. 2020 Dear All, 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. Happy coding! Android Appstores: Google Play Download: Jekejeke Runtime