Lloyd,J.W. Foundations of logic programming / Lloyd,J.W. - 2nd ed. - Berlin: Springer, 1993. - xii,212p;26cm Includes bibliographical references. ISBN: 3540181997 Dewey Class. No.: 005.1 LIO