From Naïve to Norvig, on Deriving a Prolog Compiler

Thanks, but that page didn't load for me on mobile.

This page worked for me: https://www.semanticscholar.org/paper/From-Naïve-to-Norvig-O...