Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14- 16, 2008, proceedings (Springer, 2008)