MST-BASIC-SEARCH is a wff operation.
Apply EXPAND-LEAVES repeatedly to all live leaves of the current
matingstree that lie below the given node (or the current node, if
no node is given), until a closed leaf is generated.
WARNING: Potential combinatorial explosion!
The calling scheme for MST-BASIC-SEARCH is:


The result is of type OBLIGATION.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage