Constraint Handling Rules (CHR) News

[Marc Meister]

   K.U.Leuven CHR stable releases
   ------------------------------

   The K.U.Leuven CHR system is now available in two major
   open-source Prolog systems: SWI-Prolog and XSB.

   * SWI-Prolog 5.4

     The Constraint Handling Rules package of SWI-Prolog comes with
     the latest performance improvements, supports mode declarations
     and is integrated into SWI-Prolog's debugging facilities.
     In addition to the CHR package a number of other constraint facilities
     are also available: co-routining (when/2, dif/2, freeze/2) and a small
     finite domain solver.

     Available from: http://www.swi-prolog.org/

   * XSB 2.7 (Kinryo)

     The Constraint Handling Rules package of XSB includes both a CHR
     runtime system and a compiler to convert CHR files to Prolog files.
     Support for combining CHR with tabled predicates is also
     available.

     Available from: http://xsb.sourceforge.net/

   For more information on the K.U.Leuven CHR system:
   http://www.cs.kuleuven.ac.be/~toms/Research/CHR/


   For more information on CHR visit the updated webpages at

http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr.html