https://bookem.ir/books/1661878-Logic-Programming-and-PROLOG