https://bookem.ir/books/2140436-Programming-in-Prolog