A Couple of Meta-interpreters in Prolog https://www.metalevel.at/acomip/