Prolog programming for artificial intelligence - Bratko, Ivan 1946- (Pearson/Addison-Wesley, 2010)