https://bookem.ir/books/2647623-Foundations-of-Deductive-Databases-and-Logic-Programming