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