John W. Lloyd Foundations of Logic Programming, 1st Edition Springer 1984 3-540-13299-6