EPROOF-UTREE : UNIFOP

EPROOF-UTREE is an unification command.
Create a new utree whose root has all the dpairs
associated with the current mating. (The existing utree may
have some of the dpairs added lower down the tree; this will
bring them all to the top). See also NAME-DPAIR.
 
The command format for EPROOF-UTREE is:

<Unif>EPROOF-UTREE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage