PRUNING : FLAGPRUNING is a flag or parameter.
If T, the unification routine will prune the tree as it goes.
Only works for BREADTH-FIRST and BEST-FIRST unification, and
only then in MS88.
PRUNING takes values of type BOOLEAN.
It belongs to subjects UNIFICATION .
Its default value is NIL
Its current value is NIL.
TPS documentation homepage