We present a framework for the combination of Constraint Logic Programming (CLP) and higher-order Hereditary Harrop Formulas (hoHH). Our aim is to improve the expressiveness of traditional Logic Programming with the benefits of both fields: CLP and hoHH. 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.
展开▼
