Saumya K. Debray Prateek Mishra Denotational and Operational Semantics for Prolog. 81-91 1988 5 J. Log. Program. 1 db/journals/jlp/jlp5.html#DebrayM88 http://dx.doi.org/10.1016/0743-1066(88)90007-6