Operational and denotational semantics of prolog

DOI10.1016/0743-1066(87)90008-2MaRDI QIDQ3768369zbMATH OpenOpenAlexWikidataFDO

Authors Bijan Arbab, Daniel M. Berry

Publication date 1987

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

Full work available at URL https://doi.org/10.1016/0743-1066(87)90008-2

zbMATH Keywords

Vienna Definition Language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Denotational and operational semantics for prolog
• Operational and goal-independent denotational semantics for Prolog with cut
• Simple operational and denotational semantics for Prolog with cut
• Comparative semantics for prolog with cut
• scientific article; zbMATH DE number 19144

Cited in

(14)

• Abstract interpretation of resolution-based semantics
• A logical semantics for depth-first Prolog with ground negation
• scientific article; zbMATH DE number 4215379 (Why is no real title available?)
• Denotational and operational semantics for prolog
• scientific article; zbMATH DE number 65740 (Why is no real title available?)
• scientific article; zbMATH DE number 1737610 (Why is no real title available?)
• scientific article; zbMATH DE number 871157 (Why is no real title available?)
• Operational and goal-independent denotational semantics for Prolog with cut
• Axiomatizations of backtracking
• Prolog's control constructs in a functional setting -- axioms and implementation
• Is there an axiomatic semantics for standard pure Prolog?
• Comparative semantics for flow of control in logic programming without logic
• Simple operational and denotational semantics for Prolog with cut
• Comparative metric semantics for concurrent PROLOG

This page was built for publication: Operational and denotational semantics of prolog

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