4 constraint programming .
constraint logic programming : a survey .