"Operational and Denotational Semantics of Prolog."

Bijan Arbab, Daniel M. Berry (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics