A deterministic prolog fixpoint semantics

DOI10.1016/0743-1066(85)90014-7MaRDI QIDQ3721797zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 1985

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

Full work available at URL https://doi.org/10.1016/0743-1066(85)90014-7

zbMATH Keywords

fixpoint semanticsoperational semanticsPROLOGdeterministic control structures

Mathematics Subject Classification ID

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

Recommendations

• Denotational and operational semantics for prolog
• Fixpoint semantics for logic programming a survey
• A fixed point semantics for logic programs extended with cuts
• scientific article; zbMATH DE number 4104373
• Comparative semantics for prolog with cut

Cited in

(7)

• Recursion equation sets computing logic programs
• Fixpoint semantics for logic programming a survey
• A denotational semantics and dataflow construction for logic programs
• Is there an axiomatic semantics for standard pure Prolog?
• scientific article; zbMATH DE number 4104373 (Why is no real title available?)
• Proving termination of general Prolog programs
• Sémantique logique et dénotationnelle des interpréteurs PROLOG

This page was built for publication: A deterministic prolog fixpoint semantics

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