Earlier quoted context omitted.
Slightly related, I learned today that the 4-color theorem Appel is Compiler Appel's father. https://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_co... https://twitter.com/agumonkey/status/708681730278989824 (all this after reading that prolog primer http://www.cpp.edu/~jrfisher/www/prolog_tutorial/pt_framer.h... )
Fascinating!
found it pretty funny.