Towards a Logical Semantics for Pure Prolog

Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone. Towards a Logical Semantics for Pure Prolog. Science of Computer Programming, 32(1-3):145-176, 1998.

Abstract

Abstract is missing.