Constraint Logic Programming with Hereditary Harrop formulas

DOI10.1017/S1471068401001041MaRDI QIDQ4452636zbMATH OpenDBLPWikidataFDO

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

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068401001041

zbMATH Keywords

constraint systemgoal solvinguniform proofs

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1407681
• scientific article; zbMATH DE number 1692894
• A proof procedure for the logic of hereditary Harrop formulas
• scientific article; zbMATH DE number 826301
• scientific article; zbMATH DE number 2040978

Cited in

(10)

• On the algebraic structure of declarative programming languages
• A proof procedure for the logic of hereditary Harrop formulas
• An extended constraint deductive database: theory and implementation
• scientific article; zbMATH DE number 1692894 (Why is no real title available?)
• Formalizing two fixed point semantics for \(HH(C)\)
• scientific article; zbMATH DE number 2040978 (Why is no real title available?)
• αCheck: A mechanized metatheory model checker
• scientific article; zbMATH DE number 1407681 (Why is no real title available?)
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
• Kripke semantics for higher-order type theory applied to constraint logic programming languages

This page was built for publication: Constraint Logic Programming with Hereditary Harrop formulas

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