SHOW-SKOLEM : FLAG

SHOW-SKOLEM is a flag or parameter.
When true, skolem terms are shown when a wff containing them
is printed, otherwise a parameter is printed instead.
SHOW-SKOLEM takes values of type BOOLEAN.
It belongs to subjects .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage