Prolog : Programming for Artificial Intelligence - Bratko, Ivan. (Addison-Wesley, 1990)