https://bookem.ir/books/2187344-PROLOG-Programming-in-Depth