An introduction to logic programming through Prolog
Michael Spivey
Let There Be Light
Robert A. Heinlein
Zombies vs. Unicorns
Justine Larbalestier, Holly Black
A Closed and Common Orbit
Becky Chambers
A Different Kind of Game
LadyKarai