Analysis of Cognitive Models in Constraint Handling Rules