Constrain Handling Rules (CHR) allow one to specify and implement both propagation and simplificationfor user-defined constraints. SInce a propagation rule is applicable again and again, we present in this paper for the first time an operational semantics for CHR that avoids the termination problem with propagation rules.
展开▼