FOUNDATIONS OF LOGIC PROGRAMMING - Lloyd, John Wylie (Springer, 1984)