Functional and logic programming 7th international symposium, FLOPS 2004, Nara, Japan, April 7 - 9, 2004 ; proceedings (Springer, 2004)