Prolog : a logical approach - Dodd, A. (Anthony), 1952- (Oxford science publications, 1990)