UTREE* : UNIFOP

UTREE* is an unification command.
Displays the unification tree and the associated substitutions at
each node which is below the specified node. Display is in a tree
format; UTREE prints the same information in a flat format. Display
shows nodes as numbers, followed by I for imitation, P for projection,
~ for negation, A for administrative (e.g. anything generated by SIMPL).
Optionally shows the most recent substitution on the subst-stack at
each node.
UTREE* is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage