%0 Book
%A  Michael Spivey
%T An introduction to logic programming through Prolog /
%U /book/90080077/An-introduction-to-logic-programming-through-Prolo/