Prolog : - Bratko, Ivan (International computer science series, 1993)