A transformational approach to negation in logic programming

DOI10.1016/0743-1066(90)90023-XMaRDI QIDQ4713088zbMATH OpenFDO

Authors Roberto Barbuti, Dino Pedreschi, Franco Turini, P. Mancarella

Publication date 25 June 1992

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

Full work available at URL https://doi.org/10.1016/0743-1066(90)90023-X

zbMATH Keywords

completenesslogic programmingnegation as failurenegative informationSLDN refutationsoundness

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4033044
• Negation as instantiation
• Negation as failure as resolution
• scientific article; zbMATH DE number 4180779

Cited in

(29)

• Negation and control in PROLOG
• Transforming normal logic programs to constraint logic programs
• Equivalence-preserving first-order unfold/fold transformation systems
• Probabilistic Horn abduction and Bayesian networks
• Sound and complete partial deduction with unfolding based on well-founded measures
• Implementing specifications by dynamic inheritance
• What is failure? An approach to constructive negation
• Model building with ordered resolution: Extracting models from saturated clause sets
• Negation as instantiation
• Synthesis of positive logic programs for checking a class of definitions with infinite quantification
• Automated reasoning with restricted intensional sets
• From here to there: Stable negation in logic programming
• scientific article; zbMATH DE number 1678375 (Why is no real title available?)
• Elimination of local variables from definite logic programs
• On SLDNF-resolution in logic programming with negation
• A necessary condition for constructive negation in constraint logic programming
• On negation as instantiation
• scientific article; zbMATH DE number 4178746 (Why is no real title available?)
• scientific article; zbMATH DE number 4180779 (Why is no real title available?)
• scientific article; zbMATH DE number 4033044 (Why is no real title available?)
• Short note: procedural semantics and negative information of elementary formal system
• Applying SLD-Resolution to a Class of Non-Horn Logic Programs
• αCheck: A mechanized metatheory model checker
• Extending constructive logic negation with types
• A rewrite mechanism for logic programs with negation
• Eliminating negation from normal logic programs
• An operator for composing deductive data bases with theories of constraints
• Constructive negation and constraint logic programming with sets
• Implementing constructive intensional negation

This page was built for publication: A transformational approach to negation in logic programming

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