General failure of logic programs

DOI10.1016/0743-1066(85)90016-0MaRDI QIDQ3709865zbMATH OpenOpenAlexFDO

Authors Van Tu le

Publication date 1985

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(85)90016-0

zbMATH Keywords

completenessfinite failure propertieslogic programmingnegation-as-failure rulesoundness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Comments on “general failure of logic programs”
• scientific article; zbMATH DE number 1497820
• The Essential Inadequacy of Deduction in Logic Programming
• scientific article; zbMATH DE number 1942461
• scientific article; zbMATH DE number 1696795
• scientific article; zbMATH DE number 4199654
• Negation as failure using tight derivations for general logic programs
• Negation as failure for disjunctive logic programming
• A proof theoretic approach to failure in functional logic programming
• scientific article; zbMATH DE number 65758

Cited in

(8)

• scientific article; zbMATH DE number 1696795 (Why is no real title available?)
• Negation-as-failure rule for general logic programs with equality
• Comments on “general failure of logic programs”
• Negation as failure using tight derivations for general logic programs
• Success and failure for hereditary Harrop formulae
• Finite failure is and-compositional
• scientific article; zbMATH DE number 4197405 (Why is no real title available?)
• Failure of interpolation in relevant logics

This page was built for publication: General failure of logic programs

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