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