KIM, Steven H. Knowledge Systems Through Prolog-An Introduction - New York. Oxford University press. 1991 - xvi, 341p. ISBN: 195072413 Dewey Class. No.: 6.3