FIRST-ORDER-PRINT-MODE : FLAG

FIRST-ORDER-PRINT-MODE is a flag or parameter.
If T, formulas are printed so they can be parsed when
FIRST-ORDER-MODE-PARSE is set to T.
FIRST-ORDER-PRINT-MODE takes values of type BOOLEAN.
It belongs to subjects PRINTING .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage