Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings - Jacques Garrigue, Manuel V. Hermenegildo ((Lecture Notes in Computer Science))