Text this: Constraint programming viewed as rule-based programming.