4.16.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.