Prolog programming in depth - Covington, Michael A, 1957- (Prentice Hall, 1997)