Did you know ... Search Documentation:
The Old ECLiPSe CHR implementation