FIRST-ORDER-MODE-MS : FLAG

FIRST-ORDER-MODE-MS is a flag or parameter.
If T first-order unification is called during mating search, else
higher-order unification is used. TPS changes the value of this flag
to T when it is called by DIY to work on a first-order problem,
but not when it is called from MATE.
FIRST-ORDER-MODE-MS takes values of type BOOLEAN.
It belongs to subjects MS98-1 MS93-1 MS92-9 MS91-7 MS91-6 MS90-9 MS90-3 MS89 MS88 MATING-SEARCH .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage