FIRST-ORDER : FLAG-MODE

FIRST-ORDER is a mode.
Puts parser and printer into first-order mode.
Flags are set as follows:
Flag Value in Mode Current Value
FIRST-ORDER-MODE-PARSE T NIL
TYPE-IOTA-MODE T T
FIRST-ORDER-PRINT-MODE T NIL
PRINTTYPES NIL T

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage