Stepwise Development of Operational and Denotational Semantics for Prolog

Neil D. Jones, Alan Mycroft. Stepwise Development of Operational and Denotational Semantics for Prolog. In SLP. pages 281-288, 1984.

Abstract

Abstract is missing.