Enviar aquest missatge de text: Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace.