Programming in Prolog
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying Prolog Trace Models with a Continuation Semantics
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
A linear operational semantics for termination and complexity analysis of ISO prolog
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
| Hi-index | 0.00 |
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.