Foundations of logic programming - Lloyd, J. W. (Berlin Springer-Verlag, 1984)
1
Keywords: Electronic digital computers -- Programming; Logic, Symbolic and mathematical; Programming language (Electronic computers) -- Semantics