APPLY-MATCH : FLAGAPPLY-MATCH is a flag or parameter.
Heuristic to decide the pair that should be given to match.
APPLY-MATCH-ALL-FRDPAIRS applies match to all flexible-rigid pairs
and chooses whichever will have fewest substitutions.
APPLY-MATCH-ALL-FRDPAIRS-MSV does the same, but also checks for
MAX-SUBSTS-VAR violations at the same time.
APPLY-MATCH-MAX-SUBSTS applies match to whichever flexible-rigid
pair is closest to exceeding the bound in MAX-SUBSTS-VAR.
If it finds one with a unique substitution, it uses that.
APPLY-MATCH-MIN-SUBSTS is like the above, but chooses the pair
which is farthest from the MAX-SUBSTS-VAR bound.
APPLY-MATCH-MOST-CONSTS applies match to whichever flex-rigid
pair contains the most constant symbols.
(The last two of these are all but useless; both of the SUBSTS
versions will be disastrous if MAX-SUBSTS-VAR is NIL...)
This flag is almost always ignored (the default behaviour is
much like APPLY-MATCH-ALL-FRDPAIRS, but see NUM-FRPAIRS and
COUNTSUBS-FIRST for more details). The exception is if it is
APPLY-MATCH-MAX-SUBSTS, in which case it will go for whichever
pair is closest to exceeding the MAX-SUBSTS-VAR bound (but will
still use NUM-FRPAIRS and COUNTSUBS-FIRST).
APPLY-MATCH takes values of type SYMBOL.
It belongs to subjects UNIFICATION .
Its default value is APPLY-MATCH-ALL-FRDPAIRS
Its current value is APPLY-MATCH-ALL-FRDPAIRS.
TPS documentation homepage