8.13.3.4 Default Input Methods

The following InputMethod types are implemented by the default 'SU_messages':query_input(+InputMethod, +Prompt, -RawInput) (and these are the input methods known to the third, fall-back step):

line
The Prompt is printed, a line of input is read using read_line/2 and the code-list is returned as RawInput.
term(Options)
Prompt is set to be the prompt (cf. prompt/2), and a Prolog term is read by read_term/2 using the given Options, and is returned as RawInput.
FinalTerm^term(Term,Options)
A Prolog term is read as above, and is unified with Term. FinalTerm is returned as RawInput. For example, the T-Vs^term(T,[variable_names(Vs)]) input method will return the term read, paired with the list of variable names.