Summary: ?
?
f g
1
2
3
1 2 3 1
Abstract.
1 Introduction
unfolding
folding
Safe Folding/Unfolding with Conditional
Narrowing
M. Alpuente and M. Falaschi and G. Moreno and G. Vidal
The problem of integration of functional and logic programming is an important
challenge for research in declarative programming (see [15] for a recent survey).
A functional logic program can be seen as a Conditional Term Rewriting System
(CTRS for short), i.e. a set of conditional equations where the equation in the
conclusion is implicitly oriented from left to right. Functional logic languages
obtain the power of logic variables, automatic search and constraint solving from

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

Collections: Computer Technologies and Information Sciences