Prolog and its application a japanese perspective - Mizoguchi, Fumio ed. (Chapman and hall, London, 1991)