Declarative programming languages advocate a programming style expressing the
properties of problems and their solutions rather than how to compute individual solutions …

Functional logic programming languages combine the most important declarative
programming paradigms, and attempts to combine these paradigms have a long history. The …

Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. Early research …

The narrowing relation over terms constitutes the basis of the most important operational
semantics of languages that integrate functional and logic programming paradigms. It also …

We propose an approach to declarative programming which integrates the functional and
relational paradigms by taking possibly non-deterministic lazy functions as the fundamental …

Functional logic languages extend purely functional languages with two features: operations
defined by overlapping rules and logic variables in both defining rules and expressions to …

We define a transformation from a left-linear constructor-based conditional rewrite system
into an overlapping inductively sequential rewrite system. This transformation is sound and …

We propose an extension of functional logic languages that allows the definition of
operations with patterns containing other defined operation symbols. Such “function …

We propose a novel approach to encapsulate non-deterministic computations in functional
logic programs. Our approach is based on set functions that return the set of all the results of …

We introduce a handful of software design patterns for functional logic languages. Following
usual approaches, for each pattern we propose a name and we describe its intent …