https://bookem.ir/books/3497983-Constraint-logic-programming-using-ECLiPSe