Foundations of Logic Programming - Lloyd, John Wylie (Springer Verlag, 1984)