Author: Fuji International Symposium on Functional and Logic Programming (10th 2010 Sendai-shi, Japan)