Prolog Programing Artificial Intelligence - Bratko, Ivan (Addison-Wesley, 1986)