CALL-UNIFY : WFFOPCALL-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