https://bookem.ir/books/1901778-Logic-Programming-and-Knowledge-Representation