ETA-RULE is a flag or parameter.
If T, eta rule is permitted in the unification package.
This can be T or NIL for the UN88 procedure, but it can only be
T for the UN90 procedure. (In fact, UN90 ignores this flag.)
ETA-RULE takes values of type BOOLEAN.
It belongs to subjects UNIFICATION .
Its default value is T
Its current value is T.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage