https://bookem.ir/books/1088633-Logic-Programming-Languages