














#source.
    The source code for the Prolog pretty-printer may be found in the 

    UTIL:PP.Pl.  This help file is UTIL:PP.Hlp.

#needs.
    To get help, U
Helper.Pl must be compiled.
    To work with unloaded files, UTIL:Ixref.
ust be compiled, or
    at least suitable '$defn'(MostGeneralTerm, F
 facts must be
    put in the database.  No utilities are used, 
the program will
    run on its own if it has to.

#purpose.
 PP is a
















































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































, 








and
 
1, 12, 
..



























































