https://bookem.ir/books/2907403-Constraint-Satisfaction-In-Logic-Programming
Constraint Satisfaction In Logic Programming