PRTWFF : UTILITYPRTWFF is an utility.
(PRTWFF gwff (flag1 value1) ... (flagn valuen)) is the one of
the two canonical ways of printing wffs in TPS. It will bind flag1 to
value1 etc. and then print gwff. This is useful to write commands or
functions which print gwff in a particular style. For example
(PRTWFF A (USE-DOTS NIL) (PRINTDEPTH 0))
will print the wff A without using dots and showing all levels.
The other way of printing wffs with MSG is (MSG (A. GWFF)).
If a certain combination of flag settings is used more than once,
consider using (DEFMODE USEFUL-MODE ...) and (IN-MODE USEFUL-MODE (PRTWFF A))
TPS documentation homepage