A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo

Alan Finlay, Lloyd Allison. A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. ACM Transactions on Programming Languages and Systems, 15(1):206-208, 1993. [doi]

Abstract

Abstract is missing.