Prolog programming for arificial intelligence - Bratko, Ivan, 1946- (Pearson Education Limited, 2001)