ECLiPSe - New Features in Release 3.5.2
OR-parallel ECLiPSe has been ported to
and Delta88k machines.
The finite domain solver has been extended to handle multiplication and division of domain variables and to include evaluation constraints, e.g. #=(X, Y, B) which means that B is equal to 1 iff X #= Y. There is a number of new constraint predicates available, including ElipSys disjunctive constraints. For details, read the corresponding
chapter in the Extension Manual
The clp(Q,R) system of Christian Holzbaur has been ported to ECLiPSe and is now being distributed together with it. It is available in the lib_clpqr directory, loaded by lib(clpq) or lib(clpr), the user manual is
Pre_unify handlers for the unification of attributed variables and library atts.pl, both SICStus-compatible.
The Tcl/Tk interface is now ProTcXl 2.0, renamed because it now also interfaces Xlib for fast and lightweight graphics.
New flags for parallel session, wm_set/get replaced by set/get_flag.
The Worker Manager Interface now has a window showing the parallel performance on all processors.
Read and write macros have been extended to fully handle clauses and goals.
Global references are now created with make_array/2 and documented.
Variables on the global stack are now printed as _nn, where nn is a smaller integer than before.
Several -b options can be provided on the command line.
References to non-existing predicates have been removed from the bip pages, so that hypertext systems can use these references as links.
The module database_kernel is no longer imported implicitly by db.pl and kb.pl. This is an incompatible change from 3.5.1, although it already corresponds to the KB manual. You have to insert :- import database_kernel to all modules that use some predicates from it (and you may no longer need :- lib(kb/db).
OPIUM is broken and Mireille has no time to fix it, so we'll stop to distribute it (if someone fixes it, we will resume).