Prolog programming for artificial intelligence - Bratko (International computer science series, 1986)