TY  - CHAP
AU  - Leach Albert, Javier
AU  - Nieva Soto, Susana
AU  - Rodríguez-Artalejo , Mario
A4  - Maluszynski, Jan
PY  - 1997
SN  - 0-262-63180-6
UR  - https://hdl.handle.net/20.500.14352/60588
AB  - Constraint logic programing (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...
M2  - 307
PB  - MIT Press, Cambridge
KW  - Constraint systems
KW  - Hereditary Harrop formulas
KW  - Uniform proofs
KW  - Goal solving
TI  - Constraint logic programming with hereditary Harrop formulas
TY  - book part
ER  -