MAX-SUBSTS-QUICK : FLAG

MAX-SUBSTS-QUICK is a flag or parameter.
When NIL, quick unification is governed by the MIN-QUICK-DEPTH
flag, and only minimal amounts of MAX-SUBSTS checking are done during
quick unification.
When MIN-SUBSTS-QUICK is a positive integer, quick unification
(i.e. partial unification of a possible connection) is considered as a
special case of normal unification, with MAX-SUBSTS-VAR temporarily
equal to the value of MAX-SUBSTS-QUICK.
When MIN-SUBSTS-QUICK is 0, quick unification goes down as far as it can
until it is forced to either branch or violate MAX-SUBSTS-VAR. (This is
almost equivalent to MAX-SUBSTS-QUICK NIL and MIN-QUICK-DEPTH 1.)

Note: non-NIL values of MAX-SUBSTS-QUICK only take effect if MAX-SUBSTS-VAR
is also non-NIL. In this case, other flags will also be affected, as follows:
APPLY-MATCH will be ignored (the matching routine that is used will be a
variant of APPLY-MATCH-ALL-FRDPAIRS)
COUNTSUBS-FIRST and STOP-AT-TSN will be T.
SUBSUMPTION-CHECK, UNIF-COUNTER and UNIF-TRIGGER will be NIL.
UNI-SEARCH-HEURISTIC will be BREADTH-FIRST.
MIN-QUICK-DEPTH and MAX-UTREE-DEPTH will be ignored.
MAX-SUBSTS-QUICK takes values of type NULL-OR-INTEGER.
It belongs to subjects MS98-1 IMPORTANT UNIFICATION .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage