A denotational semantics for Prolog
Tim Nicholson, Norman Foo · ACM Transactions on Programming Languages and Systems · 1989
A denotational semantics is presented for the language Pro.og. Metapredicates are not considered. Conventional control sequencing is assumed for Prolog's execution. The semantics is nonstandard, and goal continuations are used to explicate the sequencing.