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