FIND-NESTING : UNIFOP

FIND-NESTING is an unification command.
Find the values for MAX-SUBSTS-* implied by
the current node.
FIND-NESTING is a unification tree moving command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage