Is there an axiomatic semantics for standard pure Prolog?
From MaRDI portal
Publication:805224
DOI10.1016/0304-3975(91)90229-UzbMATH Open0728.68040OpenAlexW2042184705MaRDI QIDQ805224FDOQ805224
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
Recommendations
Artificial intelligence (68T99) Logic programming (68N17) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- The Semantics of Predicate Logic as a Programming Language
- A Machine-Oriented Logic Based on the Resolution Principle
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Negation in rule-based database languages: A survey
- Negation in logic programming
- Contributions to the Theory of Logic Programming
- Simple operational and denotational semantics for Prolog with cut
- Declarative modeling of the operational behavior of logic languages
- Closures and fairness in the semantics of programming logic
- Title not available (Why is that?)
- Complete extension of general logic programs
- A deterministic prolog fixpoint semantics
- Operational and denotational semantics of prolog
- Denotational and operational semantics for prolog
- Sémantique logique et dénotationnelle des interpréteurs PROLOG
- Title not available (Why is that?)
- Title not available (Why is that?)
- Is there an axiomatic semantics for standard pure Prolog?
Cited In (5)
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)
