NAME-SKOLEM-FN : FLAG

NAME-SKOLEM-FN is a flag or parameter.
Name of the functions which names a Skolem function.
NAME-SKOLEM-FN takes values of type SYMBOL.
It belongs to subjects WFF-PRIMS .
Its default value is NAME-SKOLEM-CAP
Its current value is NAME-SKOLEM-CAP.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage