Prolog programming for artificial intelligence - Bratko, Ivan 1914- (International computer science series, 1986)