On SLDNF-resolution in logic programming with negation

MaRDI QIDQ2939039zbMATH OpenFDO

Authors L. A. Sargsyan

Publication date 16 January 2015

zbMATH Keywords

built-in predicateslogic programmingnegationpractical SLDNF-resolutionSLDNF-resolutionsoundness

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
• ON THE PROPOSITIONAL SLDNF-RESOLUTION
• A transformational approach to negation in logic programming
• scientific article; zbMATH DE number 52709
• Negation as instantiation

Cited in

(7)

• Acyclic logic programs and the completeness of SLDNF-resolution
• Horn programming with built-in predicates
• SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
• ON THE PROPOSITIONAL SLDNF-RESOLUTION
• Applying SLD-Resolution to a Class of Non-Horn Logic Programs
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 5043325 (Why is no real title available?)

This page was built for publication: On SLDNF-resolution in logic programming with negation

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