An introduction to logic programming through Prolog
Michael Spivey
Forstater v CGD Judgement 2019
YMCGLASHAN
Time Enough for Love
Robert A. Heinlein
Yes, Roya
C. Spike Trotman
Science of Discworld
Pratchett, Terry