The effective generation of Lisp and Prolog text is done by a PPML pretty-printer. However, the saved environment used to compile formalism extensions is directly written done by Prolog.
Thierry Despeyroux