Prolog and Constraint Logic Programming over Finite Domains