PROLOG programming for artificial intelligence - Bratko, Ivan 1946- (Addison-Wesley, 1986)