APPLY-MATCH-MOST-CONSTS is a flag setting or other piece of information.
A setting for APPLY-MATCH.
In unification search, applies match to whichever flex-rigid
pair contains the most constant symbols. This only
works for non-path-focused procedures, and should be deleted
someday because it's useless.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage