An introduction to logic programming through Prolog
Michael Spivey
The Past Through Tomorrow
Robert A. Heinlein
The Number of the Beast
After the Ivory Tower Falls
Will Bunch
Come Home
LadyKarai