E-Prints Complutense

A higher-order logic programming language with constraints



Último año

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

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


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

URLTipo de URL


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.

Tipo de documento:Artículo
Información Adicional:

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

Materias:Ciencias > Informática > Lenguajes de programación
Código ID:17203
Depositado:26 Nov 2012 09:37
Última Modificación:26 Nov 2012 09:37

Descargas en el último año

Sólo personal del repositorio: página de control del artículo