FOUNDATIONS OF LOGIC PROGRAMMING - Lloyd, J.W. (Berlin Springer-Verlag, 1984)
Keywords: Electronic Digital Computers -- Programming; Logic, Symbolic And Mathematical; Programming Languages (Electronic Computers) -- Semantics