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