14 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.PL2004★ 2 cited
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…
cs.PL2004★ 14 cited
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…