scientific article; zbMATH DE number 1407681

MaRDI QIDQ4940936zbMATH OpenFDO

Authors J. Leach, Susana Nieva, M. Rodríguez Artalejo

Publication date 26 September 2000

zbMATH Keywords

constraint logic programminghereditary Harrop formulas

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Constraint Logic Programming with Hereditary Harrop formulas
• scientific article; zbMATH DE number 1692894
• A proof procedure for the logic of hereditary Harrop formulas
• scientific article; zbMATH DE number 826301
• Formalizing two fixed point semantics for \(HH(C)\)

Cited in

(7)

• scientific article; zbMATH DE number 2040978 (Why is no real title available?)
• A compositional typed higher-order logic with definitions
• Formalizing two fixed point semantics for \(HH(C)\)
• An extended constraint deductive database: theory and implementation
• Constraint Logic Programming with Hereditary Harrop formulas
• scientific article; zbMATH DE number 1692894 (Why is no real title available?)
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation

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 Q4940936)