âď¸ Constraint CHRConstraint Handling Rules, Logic Programming, Rule Systems, Declarative Computing