Author: Logic Programming Conference (8th 1989 Tokyo, Japan)