Logic, programming, and Prolog - Nilsson, Ulf, 1961- (Wiley, 1990)