TY  - JOUR
AU  - Nieva Soto, Susana
AU  - Leach Albert, Javier
PY  - 2001
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/57725
T2  - Lecture Notes in Computer Science
AB  - We present a framework for the combination of Constraint Logic Programming (tiCLP) and higher-order Hereditary Harrop Formulas (tihoHH). Our aim is to improve the expressiveness of traditional Logic Programming with the benefits of both fields: tiCLP...
LA  - spa
M2  - 108
PB  - Springer Verlag
TI  - A higher-order logic programming language with constraints
TY  - journal article
VL  - 2024
ER  -