The following InputMethod types are implemented by the default
RawInput) (and these are the input methods known to the third,
The Prompt is printed, a line of input is read using
read_line/2 and the code-list is returned as
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.
A Prolog term is read as above, and is unified with
Term. FinalTerm is returned as RawInput. For
T-Vs^term(T,[variable_names(Vs)]) input method will
return the term read, paired with the list of variable