CALL-UNIFY : WFFOP

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:

(CALL-UNIFY)


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage