Aart Middeldorp and Taisuke Sato (eds.) special issue, Journal of Functional and Logic Programming, 2001