Denotational and operational semantics for prolog

DOI10.1016/0743-1066(88)90007-6zbMATH Open0632.68020OpenAlexW2063236708MaRDI QIDQ3769948FDOQ3769948

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

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

zbMATH Keywords

first-order logiccorrectnessPROLOG programssequential evaluationcomputational behavior of PROLOGcongruence proofoperational interpreterPROLOG implementations

Mathematics Subject Classification ID

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

Cited In (29)

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

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)