https://bookem.ir/books/3018376-Programming-in-PROLOG