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-On-Deriving-a-PROLOG-Co

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-On-Deriving-a-PROLOG-Compiler-Nunes-Harwitt/63d3d5acf32783b9951d24ee83dd5c164103c924 https://www.semanticscholar.org/paper/From-Naïve-to-Norvig-O...