scientific article; zbMATH DE number 4033044

MaRDI QIDQ3773305zbMATH OpenFDO

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

Publication date 1987

zbMATH Keywords

Horn clause definitionsIntensional negation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Functional and Logic Programming
• Implementing constructive intensional negation
• A transformational approach to negation in logic programming
• Negation as failure. II
• scientific article; zbMATH DE number 1456952

Cited in

(10)

• The undecidability of proof search when equality is a logical connective
• From here to there: Stable negation in logic programming
• Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
• A transformational approach to negation in logic programming
• scientific article; zbMATH DE number 1456952 (Why is no real title available?)
• scientific article; zbMATH DE number 1453065 (Why is no real title available?)
• scientific article; zbMATH DE number 1453073 (Why is no real title available?)
• Functional and Logic Programming
• Implementing constructive intensional negation
• First order compiler: A deterministic logic program synthesis algorithm

This page was built for publication:

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