BEST-FIRST : INFO

BEST-FIRST is a flag setting or other piece of information.
A setting for UNI-SEARCH-HEURISTIC.
Search the unification tree best-first (take whichever leaf node
has the fewest free variables). BREADTH-FIRST is faster than this.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage