Lloyd, J.W. Foundations of logic programming - Berlin Springer-Verlag 1987 - xii,106p. Subjects--Uniform Titles: Computer programmingLogic Dewey Class. No.: 621.381952 / L70F