Prolog programming for artificial intelligence - Bratko, Ivan, informatičar (International computer science series, 2001)