How to extract negative information from programs is an important issue in logic
programming. Here we address the problem for functional logic programs, from a proof …

The structure and components of the first programming languages were dictated by the
architecture of computers. It was the human mind which had to bend to the peculiarities of …

Finite failure of computations plays an important role as programming construct in the logic
programming paradigm, and it has been shown that this also extends to the case of the …

In this paper we propose a new generic scheme CFLP (D), intended as a logical and
semantic framework for lazy Constraint Functional Logic Programming over a parametrically …

In this paper, we present an extended relational calculus for expressing queries in functional-
logic deductive databases. This calculus is based on first-order logic and handles relation …

Functional-logic programming amalgamates some of the main features of both functional
and logic styles into a single paradigm. Nevertheless, negation is a widely investigated …

Negation as failure is an important language feature within the logic programming paradigm.
The natural notion generalizing negation as failure in a functional logic setting is that of finite …

Constructive failure has been proposed recently as a programming construct useful for
functional logic programming, playing a role similar to that of constructive negation in logic …

This paper surveys reduction or evaluation strategies for functional and functional logic
programs. Reasonable reduction strategies for declarative languages must be efficiently …

This paper adds the handling of negative information to a functional-logic deductive
database language. By adopting as semantics for negation the so-called CRWLF, wherein …