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 flat
format; UTREE* prints the same information in a tree format.
UTREE is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage