Prolog programming for artificial intelligence - Bratko, Ivan, 1914- (Pearson/Addison Wesley, 2001)