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