https://github.com/hsk/simpletapl/blob/master/prolog5/fullupdate.pl https://github.com/hsk/simpletapl/blob/master/prolog5/fullup... I have rewritten all TAPL c

https://github.com/hsk/simpletapl/blob/master/prolog5/fullupdate.pl https://github.com/hsk/simpletapl/blob/master/prolog5/fullup... I have rewritten all TAPL code in Prolog. It was very interesting. https://github.com/mitsuchi/copl-in-prolog/ 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/ https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/