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