CALL-UNIFY is a wff operation.
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 calling scheme for CALL-UNIFY is:


The result is of type IGNORE.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage