Constraint Logic Programming with Hereditary Harrop formulas
From MaRDI portal
Publication:4452636
DOI10.1017/S1471068401001041zbMath1091.68522WikidataQ62048189 ScholiaQ62048189MaRDI QIDQ4452636
J. Leach, Mario Rodríguez Artalejo, Susana Nieva
Publication date: 1 March 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
αCheck: A mechanized metatheory model checker, An extended constraint deductive database: theory and implementation, Kripke semantics for higher-order type theory applied to constraint logic programming languages, Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation, On the algebraic structure of declarative programming languages