Operational and denotational semantics of prolog
- 31 December 1987
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 4 (4), 309-329
- https://doi.org/10.1016/0743-1066(87)90008-2
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Compiling circular attribute grammars into PrologIBM Journal of Research and Development, 1986
- A denotational semantics for shared-memory parallelism and nondeterminismActa Informatica, 1985
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- An order-algebraic definition of knuthian semanticsTheory of Computing Systems, 1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- The Vienna Definition LanguageACM Computing Surveys, 1972