https://bookem.ir/books/2727004-Logic-Programming-with-Prolog