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
|
