Jekejeke Prolog 1.1.3 (CLP(FD) test cases and reification)
Jan Burse, created May 02. 2016
We have just uploaded the new release of Jekejeke Prolog. Most of the work was done for our CLP(FD) library.
- Better Error Handling:
We have reworked the error handling of the Jekejeke Prolog runtime library. Its now possible to throw an error via throw(error(E,C)). If C is not instantiated, the interpreter will automatically fill the stack trace. The predicate sys_throw_error/1 is gone.
- Runner, Diagnose and Report:
We have bundled new modules to execut, analyze and summarize test cases. These modules are now shared by the ISO compliance tests and the CLP(FD) test cases. They are located in the package testing of the Jekejeke Prolog development environment.
- CLP(FD) Test Cases and Reification:
We collected ca. 100 test cases for the core CLP(FD) solver. We then extended the CLP(FD) by reification via predicates such as (#<==>)/2, (#\/)/2, etc.. Our first take only provides the main functionaly of reification and is bundled with the Jekejeke Prolog minimal logic extension.
To run the CLP(FD) one has to combine the Jekejeke Minlog extension with either the Jekejeke Runtime or the Jekejeke Development.