Operational and Denotational Semantics of Prolog

Bijan Arbab, Daniel M. Berry. Operational and Denotational Semantics of Prolog. Journal of Logic and Algebraic Programming, 4(4):309-329, 1987.

Abstract

Abstract is missing.