@INPROCEEDINGS{Hanus97POPL,
author = "Hanus, M.",
title = "A Unified Computation Model for Functional and Logic Programming",
year = "1997",
booktitle = "Proc. 24st ACM Symposium on Principles of Programming
		  Languages (POPL'97)",
pages = "80-93",
abstract = {
We propose a new computation model which combines the operational
principles of functional languages (reduction), logic languages
(non-deterministic search for solutions), and integrated functional
logic languages (residuation and narrowing).  This computation model
combines efficient evaluation principles of functional languages with
the problem-solving capabilities of logic programming.  Since the
model allows the delay of function calls which are not sufficiently
instantiated, it also supports a concurrent style of programming. We
provide soundness and completeness results and show that known
evaluation principles of functional logic languages are particular
instances of this model.  Thus, our model is a suitable basis for
future declarative programming languages.
} }