Introduction to programming in Prolog - Crookes, Danny, 1956- (Prentice Hall, 1988)