Is there an axiomatic semantics for standard pure Prolog?
From MaRDI portal
Publication:805224
DOI10.1016/0304-3975(91)90229-UzbMath0728.68040OpenAlexW2042184705MaRDI QIDQ805224
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
Semantics in the theory of computing (68Q55) Artificial intelligence (68T99) Logic programming (68N17)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Negation in rule-based database languages: A survey
- Closures and fairness in the semantics of programming logic
- Is there an axiomatic semantics for standard pure Prolog?
- Simple operational and denotational semantics for Prolog with cut
- Declarative modeling of the operational behavior of logic languages
- 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
- Negation in logic programming
- Contributions to the Theory of Logic Programming
- The Semantics of Predicate Logic as a Programming Language
- A Machine-Oriented Logic Based on the Resolution Principle