2026-06-27T12:26:13Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/577252023-08-25T10:28:28Zcom_20.500.14352_14col_20.500.14352_15

A higher-order logic programming language with constraints Nieva Soto, Susana Leach Albert, Javier 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. 2023-06-20T17:04:20Z 2023-06-20T17:04:20Z 2023-06-20T17:04:20Z 2001 journal article https://hdl.handle.net/20.500.14352/57725 0302-9743 spa 98-0445-C03-02 restricted access Springer Verlag