Constraint Logic Programming with Hereditary Harrop formulas

DOI10.1017/S1471068401001041zbMATH Open1091.68522DBLPjournals/tplp/LeachNR01WikidataQ62048189 ScholiaQ62048189MaRDI QIDQ4452636FDOQ4452636

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)

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

zbMATH Keywords

constraint systemuniform proofsgoal solving

Mathematics Subject Classification ID

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

Cited In (10)

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

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)