UNIFY : MATEOP

UNIFY is a mating-search command.
Call unification in interactive mode for active mating. The unification
tree associated with the active-mating is passed on to the unification
top-level. Any changes made to this tree are destructive. Applicable only for
a higher-order unification problem. Uses MS88-style unification.
 
The command format for UNIFY is:

<Mate>UNIFY

TPS documentation homepage


UNIFY : MEXPR

UNIFY is a top-level command.
Enter the unification top-level. The user can define disagreement sets
using the command ADD-DPAIR available in the unification top-level. If you
are entering from the MATE top level, the unification tree associated with
the active-mating is passed on to the unification top-level.
Any changes made to this tree are destructive. Applicable only for
a higher-order unification problem. Uses MS88-style unification.
The command format for UNIFY is:

 <n>UNIFY 

TPS documentation homepage


UNIFY : MTREEOP

UNIFY is a matingstree command.
Go into UNIFY toplevel and check the UTREE structure
associated with the current node in the matingstree. The
unification tree associated with the mating is passed on
to the unification top-level. Any changes made to this tree
are destructive. Applicable only for a higher-order unification
problem. Mainly use to check the UTREE structure.
 
The command format for UNIFY is:

<Mtree>UNIFY

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage