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