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