Prolog programming for artificial inteligence - Bratko, Ivan. (Addison-Wesley, 1987)
Index.