Is there an axiomatic semantics for standard pure Prolog?

DOI10.1016/0304-3975(91)90229-UMaRDI QIDQ805224zbMATH OpenOpenAlexFDO

Authors François Denis, Jean-Paul Delahaye

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90229-u

zbMATH Keywords

logic programsSLD resolutionClark completionpure prolog

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Towards a logical semantics for pure Prolog
• Denotational and operational semantics for prolog
• Sémantique logique et dénotationnelle des interpréteurs PROLOG
• Reasoning about termination of pure Prolog programs
• A fixed point semantics for logic programs extended with cuts

Cites work

• scientific article; zbMATH DE number 3866574 (Why is no real title available?)
• scientific article; zbMATH DE number 19144 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 176531 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• scientific article; zbMATH DE number 4185011 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A deterministic prolog fixpoint semantics
• Closures and fairness in the semantics of programming logic
• Complete extension of general logic programs
• Contributions to the Theory of Logic Programming
• Declarative modeling of the operational behavior of logic languages
• Denotational and operational semantics for prolog
• Is there an axiomatic semantics for standard pure Prolog?
• Negation in logic programming
• Negation in rule-based database languages: A survey
• Operational and denotational semantics of prolog
• Simple operational and denotational semantics for Prolog with cut
• Sémantique logique et dénotationnelle des interpréteurs PROLOG
• The Semantics of Predicate Logic as a Programming Language

Cited in

(5)

• Sémantique logique et dénotationnelle des interpréteurs PROLOG
• scientific article; zbMATH DE number 823595 (Why is no real title available?)
• Is there an axiomatic semantics for standard pure Prolog?
• Axiomatizations of backtracking
• Defining standard Prolog in rewriting logic

This page was built for publication: Is there an axiomatic semantics for standard pure Prolog?

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