RT Journal Article
T1 A higher-order logic programming language with constraints
A1 Nieva Soto, Susana
A1 Leach Albert, Javier
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 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.
PB Springer Verlag
SN 0302-9743
YR 2001
FD 2001
LK https://hdl.handle.net/20.500.14352/57725
UL https://hdl.handle.net/20.500.14352/57725
LA spa
NO The authors have been partially supported by the Spanish National Project TIC 98-0445-C03-02 TREND.
NO TIC
DS Docta Complutense
RD 10 abr 2025