John W. Lloyd Foundations of Logic Programming, 2nd Edition Springer 1987 3-540-18199-7