Información del autor
Documentos disponibles escritos por este autor (5)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Leach Albert, Javier ; Nieva Soto, Susana ; Rodríguez-Artalejo, Mario | Cambridge Univ Press | 2001-07Constraint Logic Programming (CLP) and Hereditary Harrop formulas (HH) are two well known ways to enhance the expressivity of Horn clauses. In this paper, we present a novel combination of these two approaches. We show how to enrich the syntax a[...]texto impreso
Leach Albert, Javier ; Nieva Soto, Susana ; Rodríguez-Artalejo , Mario | MIT Press, Cambridge | 1997Constraint logic programing (CLP) and hereditary Harrop formulas (HH) are two well-known ways to enhance the expressivity of Horn clauses. In this paper, we present a novel combination of these two approaches. We show how to enrich the syntax an[...]texto impreso
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: [...]texto impreso
