ECLiPSe - New Features in Release 3.5.2

  • OR-parallel ECLiPSe has been ported to Convex 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 here .
  • 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).