Functional and logic programming 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / - Kuchen, Herbert,; Ueda, Kazunori. (Lecture notes in computer science,)