APPLY-MATCH-MOST-CONSTS : INFO

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