https://bookem.ir/books/2141484-Logic-Programming-and-Nonmonotonic-Reasoning