CONST-LIST : WFFOP

CONST-LIST is a wff operation.
Lists all the logical constants used in a gwff, apart
from the primitive constants AND FALSEHOOD IMPLIES NOT OR TRUTH.
 
The calling scheme for CONST-LIST is:

(CONST-LIST GWFF)
"GWFF"


The result is of type SYMBOLLIST.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage