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
![]() |
PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020. 826kB |
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-44716-4_7
URL | Tipo de URL |
---|---|
http://link.springer.com/ | Editorial |
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.
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