Lloyd, J. W Foundations of logic programming - 2nd ed. - Berlin Springer-Verlag 1987 - xii,212 p. - Springer series symbolic computation - artificial intelligence . ISBN: 3540181997 Subjects--Topical Terms: COMPUTER SCIENCEPROGRAMMING LANGUAGEPROLOG Dewey Class. No.: 005.1 / LLO