PRINT-OBLIGATION-LITERAL : WFFOP

PRINT-OBLIGATION-LITERAL is a wff operation.
Print out the unblocked literals in a given obligation tree.
If no argument is given, the current-obligation tree is the default.
 
The calling scheme for PRINT-OBLIGATION-LITERAL is:

(PRINT-OBLIGATION-LITERAL NAME)
"SYMBOL-OR-INTEGER"


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage