UNIF-COUNTER : FLAGUNIF-COUNTER is a flag or parameter.
If this flag is non-zero, PP* will be called to
print out information about the current unification tree at
regular intervals. This flag determines the length of
the intervals, measured by the number of calls to the
unification procedure. The amount of information is
determined by the setting of UNIF-COUNTER-OUTPUT.
If the flag is set to 0, this feature will be turned off.
This flag only applies in UN88 unification.
UNIF-COUNTER takes values of type INTEGER+.
It belongs to subjects UNIFICATION .
Its default value is 0
Its current value is 0.
TPS documentation homepage