Foundations of logic programming / J.W. Lloyd. - Lloyd, J. W (John Wylie), 1947- (Artificial intelligence, 1987)