NTH-SON : UNIFOP

NTH-SON is an unification command.
Go to the nth descendant of the current-topnode. Instead of
using this command, you can simply type n on the unification top level to
go to the nth descendant. It has no effect if the current-topnode has
no descendents.
NTH-SON is a unification tree moving command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage