SUBST-STACK : UNIFOP

SUBST-STACK is an unification command.
Displays the substitution stack for the current topnode.
See also P, PP, PP* for other information about the current node.
SUBST-STACK is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage