Foundations of logic programming - Lloyd, J. W. 1947- (Symbolic computation, 1984)