https://bookem.ir/books/1239081-Logic-Programming-with-PROLOG