SUBSUMPTION-DEPTH : FLAGSUBSUMPTION-DEPTH is a flag or parameter.
Subsumption checking takes a lot of time, compared
to unification, which means that checking a new node may
take more time than it could possibly save, particularly
if the node is almost at the maximum depth for the
In the unification tree, new nodes at depth SUBSUMPTION-DEPTH
or deeper will not be subsumption-checked; other new nodes
will be. Having SUBSUMPTION-DEPTH INFINITY means that all new
nodes are subsumption-checked; SUBSUMPTION-DEPTH 0 is just
a slower way of turning subsumption-checking off altogether.
(You should use SUBSUMPTION-CHECK NIL to do that!)
This flag only applies when SUBSUMPTION-CHECK is T.
See also SUBSUMPTION-NODES.
SUBSUMPTION-DEPTH takes values of type INTEGER+-OR-INFINITY.
It belongs to subjects UNIFICATION .
Its default value is INFINITY
Its current value is INFINITY.
TPS documentation homepage