STOP-AT-TSN : FLAG

STOP-AT-TSN is a flag or parameter.
If T the unification algorithm terminates at a terminal success
node. Otherwise, it continues generating the tree.
This only applies to UN88.
STOP-AT-TSN takes values of type BOOLEAN.
It belongs to subjects UNIFICATION .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage