Next:
ref-iou-tou
, Previous:
ref-iou-str
, Up:
ref-iou
4.6.3 Term Input
ref-iou-tin-trm
: Reading Terms: The "Read" Predicates
ref-iou-tin-cpr
: Changing the Prompt
Term input operations include:
reading a term and
changing the prompt that appears while reading.
User's Manual
Table of Contents
Send feedback on this subject.