Finite Domain Constraint Solving and Constraint Logic Programming