RIGID-PATH-CK : FLAG

RIGID-PATH-CK is a flag or parameter.
If T, apply rigid-path checking when doing unification. If NIL,
switch to original unification. Both UN90 and UN88 unification
procedures are affected by the flag.
RIGID-PATH-CK takes values of type BOOLEAN.
It belongs to subjects MS93-1 MS92-9 MS91-7 MS91-6 MS90-9 MS90-3 MS89 MS88 UNIFICATION .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage