Foundations of logic programming - J. W. Lloyd (Springer-Verlag Berlin, 1993)
Keywords: Computer scienceComputer science; Artificial intelligence; Programming languages (Electronic computers)-Semantics