Prolog programming for artificial intelligence - Bratko, Ivan, 1946- (International computer science series, 2001)