Author: Fuji International Symposium on Functional and Logic Programming (9th 2008 Ise-shi, Japan)