Denotational and operational semantics for prolog

DOI10.1016/0743-1066(88)90007-6zbMath0632.68020OpenAlexW2063236708MaRDI QIDQ3769948

Prateek Mishra, Saumya Debray

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

correctnessfirst-order logicPROLOG programssequential evaluationcomputational behavior of PROLOGcongruence proofoperational interpreterPROLOG implementations

Mathematics Subject Classification ID

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

Related Items (9)

Axiomatizations of backtracking ⋮ A logical semantics for depth-first Prolog with ground negation ⋮ Unnamed Item ⋮ Operational semantics for declarative multi-paradigm languages ⋮ An operational formal definition of PROLOG: A specification method and its application ⋮ Compositionality properties of SLD-derivations ⋮ A NON-DEFINABILITY RESULT FOR A PREDICATIONAL LANGUAGE WITH THE USUAL CONTROL ⋮ Is there an axiomatic semantics for standard pure Prolog? ⋮ Comparative semantics for flow of control in logic programming without logic

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