Edinburgh Prolog Translator

Hi, LispWorks Users

LW's Edinburgh Prolog translator can translate a Prolog .pl source code
into compiled lisp fasl file. Is it possible to see the translate
output, a .lisp file?

Thanks.

Chun TIAN (binghe)