Prolog programming in depth - Covington, Michael A., 1957- (Scott, Foresman, 1988)