A higher-order logic programming language with constraints



Downloads per month over past year

Nieva Soto, Susana and Leach Albert, Javier (2001) A higher-order logic programming language with constraints. Lecture Notes in Computer Science, 2024 . pp. 108-122. ISSN 0302-9743

[thumbnail of Nieva05.pdf] PDF
Restringido a Repository staff only


Official URL: http://link.springer.com/chapter/10.1007%2F3-540-44716-4_7


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.

Item Type:Article
Additional Information:

The authors have been partially supported by the Spanish National Project TIC 98-0445-C03-02 TREND.

Subjects:Sciences > Computer science > Programming languages (Electronic computers)
ID Code:17203
Deposited On:26 Nov 2012 09:37
Last Modified:16 Nov 2018 18:16

Origin of downloads

Repository Staff Only: item control page