Debugging is one of the essential parts of the software development cycle. However, the
usual debugging techniques used in imperative languages such as the step by step …

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 …

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 …

We propose a demand-driven conditional narrowing calculus in which a variant of
definitional trees [2] is used to efficiently control the narrowing strategy. This calculus is …

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 …

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 …

La negación en programación lógica es un tema ampliamente investigado desde los inicios
de este estilo de programación. En este trabajo se estudia un recurso similar para la …

This paper studies the conditions necessary to safely introduce new values as part of the
results of function rules in functional-logic programs. The idea is to consider an initial …

We propose a demand conditional narrowing calculus in which a variant of definitional trees
[2] is used to efficiently control the narrowing strategy. This calculus is sound and strongly …