https://bookem.ir/books/1114135-Mathematical-Aspects-of-Logic-Programming-Semantics