Lloyd, J W Foundations of logic programming - 2nd ed. - Berlin Springer-Verlag 1993 - xii, 212 p. Dewey Class. No.: 005.1 L775F