Prolog programming for artificial inteligence - Bratko, Ivan (International computer science series ;, 2001)