@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. }, }