Prolog programming for artificial intelligence - Bratko, Ivan, informatičar (Pearson : Addison Wesley, 2001)