@INPROCEEDINGS{Hanus95LOPSTR,
author = "Hanus, M.",
title = "Efficient Translation of Lazy Functional Logic Programs into Prolog",
year = "1995",
pages = "252-266",
publisher = "Springer LNCS 1048",
booktitle = "Proc.\ Fifth International Workshop on
Logic Program Synthesis and Transformation",
abstract = {
In this paper, we present a high-level implementation of lazy functional
logic programs by transforming them into Prolog programs.
The transformation is controlled by generalized definitional trees
which specify the narrowing strategy to be implemented.
Since we consider a sophisticated narrowing strategy,
a direct mapping of functions into predicates is not possible.
Therefore, we present new techniques to reduce the interpretational
overhead of the generated Prolog code. This leads to a portable
and efficient implementation of functional logic programs.
},
}