A denotational semantics for Prolog
- 1 October 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 11 (4) , 650-665
- https://doi.org/10.1145/69558.69564
Abstract
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.Keywords
This publication has 3 references indexed in Scilit:
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Deriving Target Code as a Representation of Continuation SemanticsACM Transactions on Programming Languages and Systems, 1982
- Algorithm = logic + controlCommunications of the ACM, 1979