Constraint handling rules

From Free net encyclopedia