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 …

TOY is the concrete implementation of CRWL, a wide theoretical framework for declarative
programming whose basis is a constructor based rewriting logic with lazy non-deterministic …

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

Recent advances in the foundations and the implementations of functional logic
programming languages originate from far-reaching results on narrowing evaluation …

Non-confluent and non-terminating rewrite systems are interesting from the point of view of
programming. In particular, existing functional logic languages use such kind of rewrite …

Curry is a multi-paradigm declarative language covering functional, logic, and concurrent
programming paradigms. Curry's operational semantics is based on lazy reduction of …

The rewriting logic CRWL has been proposed as a semantic framework for higher-order
functional logic programming, using applicative rewriting systems as programs and lazy …

Abstracts Starting at a seminal paper published by J. Jaffar and JL Lassez in 1987 [JL87],
Constraint Logic Programming (CLP) has developed as a powerful programming paradigm …