https://bookem.ir/books/3529177-Computing-in-Horn-Clause-Theories