CHR: Leuven Constraint Handling Rules