@INPROCEEDINGS{HanusKuchenMoreno-Navarro95ILPS,
author = "Hanus, M. and Kuchen, H. and Moreno-Navarro, J.J.",
title = "Curry: A Truly Functional Logic Language",
year = "1995",
booktitle = "Proc. ILPS'95 Workshop on Visions for the Future of Logic
		  Programming",
pages = "95-107",
abstract = {
Functional and logic programming are the most important declarative
programming paradigms, and interest in combining them has grown over
the last decade. However, integrated functional logic languages
are currently not widely used. This is due to the fact that
the operational principles are not well understood and many
different evaluation strategies have been proposed which resulted
in many different functional logic languages.
To overcome this situation, we propose the functional logic language Curry
which is intended to become a standard language in this area.
It includes important ideas of existing functional logic languages
and recent developments, and combines the most
important features of functional and logic languages.
Thus, Curry can be the basis to combine the
currently separated research efforts of the functional and logic programming
communities and to boost declarative programming in general.
Moreover, since functions provide for more efficient evaluation
strategies and are a declarative replacement
of some impure features of Prolog (in particular, pruning operators),
Curry can be also used as a declarative
successor of Prolog.
} }