SUBSUMPTION-CHECK : FLAGSUBSUMPTION-CHECK is a flag or parameter.
Limited subsumption check should be done during unification when
this flag is set. Applies for procedures UN88 and UN90, although it is
much more useful in UN88 (UN90 does not generate as many subsumed nodes,
and so subsumption-checking tends to be a waste of time).
See also SUBSUMPTION-NODES and SUBSUMPTION-DEPTH.
SUBSUMPTION-CHECK takes values of type BOOLEAN.
It belongs to subjects UNIFICATION .
Its default value is NIL
Its current value is NIL.
TPS documentation homepage