Jekejeke Prolog 1.1.4 (CLP(FD) coverage analysis)
Jan Burse, created Jun 20. 2016
We have just uploaded the new release of Jekejeke Prolog. Most of the work was again done for our CLP(FD) library.
- Improved Debugger:
We extended our debugger, which is part of the Jekejeke Prolog development environment, by a unify-port. There is a new command visible/1 which allows making this port visible.
- Tracker und Cover:
We have bundled new modules for the analysis of the coverage of test cases. Via the unify-port it is even possible to analyse the coverage of facts. These modules are currently used by the CLP(FD) test cases. They are located in the package testing of the Jekejeke Prolog development environment.
- CLP(FD) Labeling and Reification:
We went along new paths in our labeling and now allow the enumeration of multiple infinite domains. The development of the reification itself has not yet been completed, but we already support the interaction of ordinary and reified constraints. To run the CLP(FD) one has to combine the Jekejeke Minlog extension with either the Jekejeke Runtime or the Jekejeke Development.