Bijan Arbab, Daniel M. Berry. Operational and Denotational Semantics of Prolog. Journal of Logic and Algebraic Programming, 4(4):309-329, 1987.
@article{ArbabB87, title = {Operational and Denotational Semantics of Prolog}, author = {Bijan Arbab and Daniel M. Berry}, year = {1987}, tags = {semantics, Prolog, denotational semantics, operational semantics}, researchr = {https://researchr.org/publication/ArbabB87}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {4}, number = {4}, pages = {309-329}, }