Complete extension of general logic programs

DOI10.1016/0304-3975(92)90039-IzbMath0754.68028MaRDI QIDQ1190477

Bernhard Gil

Publication date: 26 September 1992

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

zbMATH Keywords

procedural semanticsdeclarative semanticsnegation-as-failure

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

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

This page was built for publication: Complete extension of general logic programs