From Naïve to Norvig, on Deriving a Prolog Compiler (dl.acm.org)

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...