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

deterministic control structuresfixpoint semanticsoperational semanticsPROLOG

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

(8)

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

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)