PROLOG. PROGRAMMING FOR ARTIFICIAL INTELLIGENCE - Bratko, Ivan 1946- (Addison-Wesley Publishing, 1986)