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