Información del autor
Documentos disponibles escritos por este autor (10)
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
Nieva Soto, Susana ; Sánchez-Hernández, Jaime ; Sáenz-Pérez, Fernando | SPRINGER-VERLAG BERLIN | 2008In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint deductive database query language. In addition to constraints, our p[...]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
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church's Theory of Types and a generic constraint formalism. Our syntactic formal system, hoHH(C) (higher-order hereditary Harrop formulas wit[...]texto impreso
Aranda López, Gabriel ; Nieva Soto, Susana ; Sáenz Pérez, Fernando ; Sánchez Hernández, Jaime | Assoc Computing Machinery | 2009This work is aimed to show a concrete implementation of a deductive database system based on the scheme HH-(C) (Hereditary Harrop Formulas with Negation and Constraints) following a fixpoint semantics proposed in a previous work. We have develop[...]texto impreso
texto impreso
texto impreso
Aranda López, Gabriel ; Nieva Soto, Susana ; Sáenz Pérez, Fernando ; Sánchez Hernández, Jaime | 2013The relational database language SQL:1999 standard supports recursion, but thisapproach is limited to the linear case. Moreover, mutual recursion is not supported,and negation cannot be combined with recursion. We designed the language R-SQLto [...]texto impreso
En la primera parte de la memoria se presenta una logica computacional, que es una logica de predicados con igualdad extendida con polimorfismo y recursion, junto con un sistema de deduccion natural, para esta logica se da una definicion precisa[...]
