COUNTSUBS-FIRST : FLAGCOUNTSUBS-FIRST is a flag or parameter.
if NIL, the substitutions which MATCH generates for each dpair in the
unification process are generated and counted, and then MATCH is
actually applied to the variable for which this number is smallest; if
T, the substitutions are counted before they are generated, and only
those which will be applied are actually generated.
Applies to UN90 only.
COUNTSUBS-FIRST takes values of type BOOLEAN.
It belongs to subjects UNIFICATION .
Its default value is NIL
Its current value is NIL.
TPS documentation homepage