https://bookem.ir/books/2147375-Logic-Programming-and-Automated-Reasoning