Foundations of Logic Programming - Lloyd, J.W (Springer, 1987)