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