Constraints in Ciao Prolog