A deterministic prolog fixpoint semantics

DOI10.1016/0743-1066(85)90014-7zbMATH Open0592.68021OpenAlexW2085592760MaRDI QIDQ3721797FDOQ3721797

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

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

zbMATH Keywords

fixpoint semanticsoperational semanticsPROLOGdeterministic control structures

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• Sémantique logique et dénotationnelle des interpréteurs PROLOG
• A denotational semantics and dataflow construction for logic programs
• Proving termination of general Prolog programs
• Recursion equation sets computing logic programs
• Is there an axiomatic semantics for standard pure Prolog?
• Fixpoint semantics for logic programming a survey

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)