PRUNE : MTREEOP

PRUNE is a matingstree command.
Remove all dead leaves below (but not including)
the current matingstree.
 
The command format for PRUNE is:

<Mtree>PRUNE

TPS documentation homepage


PRUNE : UNIFOP

PRUNE is an unification command.
Prune all the branches which have either reached the maximum
allowed depth, or which end only in failure nodes.
PRUNE is a unification tree moving command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage