https://bookem.ir/books/2185740-Introduction-to-logic-programming