MAX-SUBSTS-PROJ : FLAG

MAX-SUBSTS-PROJ is a flag or parameter.
The total number of projection substitutions
allowed for any given variable. See also MAX-SUBSTS-VAR
and MAX-SUBSTS-PROJ-TOTAL.
This applies to higher-order unification (UN88 or UN90) only.
MAX-SUBSTS-PROJ takes values of type NULL-OR-INTEGER.
It belongs to subjects UNIFICATION .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage