Información del autor
Autor Rodríguez-Artalejo , Mario |
Documentos disponibles escritos por este autor (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
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[...]