Foundations of Logic Programming
John W. Lloyd
1984.
Springer
@book{lloyd-lpbook1984,
Author = {Lloyd, John W.},
Edition = {1st},
Isbn = {3-540-13299-6},
Publisher = {Springer},
Title = {Foundations of Logic Programming},
Year = 1984}