Prolog programming for artificial intelligence - BRATKO (International computer science series, 2001)