14 citations · 17 across the 3 of their papers we have counts for
3 papers · 1 filter
On the Cooperation of the Constraint Domains H, R and FD in CFLP
S. Estévez-Martín, T. Hortalá-González, Rodríguez-Artalejo +3
This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model sup…
Constraint Logic Programming with Hereditary Harrop Formula
Javier Leach, Susana Nieva, Mario Rodriguez-Artalejo
Constraint 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 combin…
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
Puri Arenas-Sanchez, Mario Rodriguez-Artalejo
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set…