MS98-UNIF-HACK2 : FLAG

MS98-UNIF-HACK2 is a flag or parameter.
If T, during the generation of unifiers, prevent the
occurrence of subformulas of type o which contain no variables
(except for TRUTH and FALSEHOOD, if they are allowed by MS98-UNIF-HACK).
If NIL, allow these to be generated.
MS98-UNIF-HACK2 takes values of type BOOLEAN.
It belongs to subjects MS98-MINOR .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage