|
Título:
|
A higher-order logic programming language with constraints
|
|
Autores:
|
Nieva Soto, Susana ;
Leach Albert, Javier
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Springer Verlag, 2001
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/restrictedAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Informática: Lenguajes de programación
,
Tipo = Artículo
|
|
Resumen:
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/17203/1/Nieva05.pdf
|
