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
     read_line/2 and the code-list is returned as
RawInput.
     term(Options)
     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)
     T-Vs^term(T,[variable_names(Vs)]) input method will
return the term read, paired with the list of variable
names.