typetheory |prolog |functionalprogrammi |logicprogramming Prolog meta-interpretation for syntax checking Gavin Mendel-Gleason Posted on March 23, 2020