https://bookem.ir/books/2184507-From-Logic-Programming-to-PROLOG