Nieva Soto, SusanaLeach Albert, Javier2023-06-202023-06-2020010302-9743https://hdl.handle.net/20.500.14352/57725The authors have been partially supported by the Spanish National Project TIC 98-0445-C03-02 TREND.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 and tihoHH. The result is denoted higher-order Hereditary Harrop Formulas with Constraints (hoHH(C)). The syntax of hoHH is introduced using lambda-terms and is enriched with a basic constraint system. Then an intuitionistic sequent calculus is defined for this combined logic, that preserves the property of an abstract logic programming language. In addition, a sound and complete procedure for goal solving is presented as a transformation system that explains the operational semantics.spajournal articlehttp://link.springer.com/chapter/10.1007%2F3-540-44716-4_7http://link.springer.com/restricted access004.43Lenguajes de programación1203.23 Lenguajes de Programación