APPLY-SUBST : UNIFOP

APPLY-SUBST is an unification command.
Apply a substitution, suggested by the user, to the current topnode.
Modifies the unification tree.
 
The command format for APPLY-SUBST is:

<Unif>APPLY-SUBST VAR TERM
"GVAR" "GWFF"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage