Prolog a logical approach - Dodd, Anthony 1942- (Oxford u.a., 1990)