https://bookem.ir/books/1636290-Multiparadigm-Constraint-Programming-Languages