I have rewritten all TAPL code in Prolog. It was very interesting.
https://github.com/mitsuchi/copl-in-prolog/
This is another textbook "Concept of Programming Language" implementations.
https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/