To query or change the sequence of characters
(prompt) that indicates that the
system is waiting for user input, call
This predicate affects only the prompt given when a user's program
is trying to read from the terminal (for example, by calling
Note also that the prompt is reset to the default ‘|: ’ on return
to the top-level.