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