Prolog programming for artificial intelligence - Bratko, Ivan, 1946- (Addison-Wesley Publishing Company, 1990)