Functional and Logic Programming door Tokyo, Japan; T. Sato & Tokyo Institute of Technology