An introduction to logic programming through Prolog
Michael Spivey
Angels' Pawn: A Companion Novella to Angels' Blood
Nalini Singh
Variable Star
Robert A. Heinlein & Spider Robinson
Bloodlines
Loren L. Coleman
Artifact Cycle (4)
On Lisp: Advanced Techniques for Common Lisp
Paul Graham