https://bookem.ir/books/3163807-Logic-Programming-and-Its-Applications