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