Foundations of logic programming. - Lloyd, John Wylie (Symbolic Computation, 1984)