34 Constraint Logic Programming over Finite Domains