Prolog programming for artificial intelligence - Bratko, Ivan (Addison-Wesley Publishing Company, Inc, 1986)