Prolog Programming For Artificial Intelligence - Bratko, Ivan (Wokingham: Addison-Wesley Publishig Company, Inc., 1986)