Prolog''s Progrmming For Artificial Intelligence - Ivan Bratko (Addison-Wesley Publishing, 1986)