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