TY  - JOUR
AU  - Leach Albert, Javier
AU  - Nieva Soto, Susana
AU  - Rodríguez-Artalejo, Mario
PY  - 2001
DO  - 10.1017/S1471068401001041
SN  - 1471-0684
UR  - https://hdl.handle.net/20.500.14352/57721
T2  - Theory and Practice of Logic Programming
AB  - Constraint Logic Programming (CLP) and Hereditary Harrop formulas (HH) are two well known ways to enhance the expressivity of Horn clauses. In this paper, we present a novel combination of these two approaches. We show how to enrich the syntax and...
LA  - eng
M2  - 409
PB  - Cambridge Univ Press
KW  - Constraint systems
KW  - Hereditary Harrop formulas
KW  - Uniform proofs
KW  - Goal solving
TI  - Constraint Logic Programming with Hereditary Harrop formulas
TY  - journal article
VL  - 1
ER  -