UNIFY-VERBOSE is a flag or parameter.
Takes values SILENT=NIL, MIN, MED or MAX=T, and governs the amount
of output relating to the unification process.
UNIFY-VERBOSE takes values of type VERBOSE.
It belongs to subjects MS93-1 MS92-9 MS91-7 MS91-6 MS90-9 MS90-3 MS89 MS88 MATING-SEARCH UNIFICATION .
Its default value is MED
Its current value is MED.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage