Complete extension of general logic programs
From MaRDI portal
Publication:1190477
DOI10.1016/0304-3975(92)90039-IzbMath0754.68028MaRDI QIDQ1190477
Publication date: 26 September 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
68N17: Logic programming
Related Items
Négation constructive et axiomatique interne, Is there an axiomatic semantics for standard pure Prolog?
Cites Work
- Unnamed Item
- Closures and fairness in the semantics of programming logic
- On the declarative and procedural semantics of logic programs
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
- A kripke-kleene semantics for logic programs*
- Negation as failure. II
- 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