Denotational and operational semantics for prolog

DOI10.1016/0743-1066(88)90007-6MaRDI QIDQ3769948zbMATH OpenOpenAlexFDO

Authors Saumya K. Debray, Prateek Mishra

Publication date 1988

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(88)90007-6

zbMATH Keywords

computational behavior of PROLOGcongruence proofcorrectnessfirst-order logicoperational interpreterPROLOG implementationsPROLOG programssequential evaluation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Operational and goal-independent denotational semantics for Prolog with cut
• Simple operational and denotational semantics for Prolog with cut
• Operational and denotational semantics of prolog
• Comparative semantics for prolog with cut
• Two congruent semantics for Prolog with CUT

Cited in

(35)

• Stack method in program semantics
• Semantics of production systems
• An operational formal definition of PROLOG: A specification method and its application
• Compositional operational semantics for Prolog programs
• Compositionality properties of SLD-derivations
• Semantics-directed generation of a Prolog compiler
• A denotational semantics and dataflow construction for logic programs
• A logical semantics for depth-first Prolog with ground negation
• Towards a logical semantics for pure Prolog
• Certified semantics for relational programming
• Operational semantics for declarative multi-paradigm languages
• Oracle semantics for Prolog
• Pre-indexed Terms for Prolog
• scientific article; zbMATH DE number 4215379 (Why is no real title available?)
• A deterministic prolog fixpoint semantics
• Operational and denotational semantics of prolog
• Sémantique logique et dénotationnelle des interpréteurs PROLOG
• Proving properties of committed choice logic programs
• scientific article; zbMATH DE number 19144 (Why is no real title available?)
• scientific article; zbMATH DE number 65740 (Why is no real title available?)
• A prescribed cut for Prolog that ensures soundness
• Logic Programming
• scientific article; zbMATH DE number 1497842 (Why is no real title available?)
• Operational and goal-independent denotational semantics for Prolog with cut
• scientific article; zbMATH DE number 1420827 (Why is no real title available?)
• Axiomatizations of backtracking
• A non-definability result for a predicational language with the usual control
• Denotation by Transformation
• Verification of compiler correctness for the WAM
• A semantics-based determinacy analysis for Prolog with cut
• Is there an axiomatic semantics for standard pure Prolog?
• Two congruent semantics for Prolog with CUT
• Comparative semantics for flow of control in logic programming without logic
• Simple operational and denotational semantics for Prolog with cut
• Comparative semantics for prolog with cut

This page was built for publication: Denotational and operational semantics for prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3769948)