The following InputMethod types are implemented by the default
) (and these are the input methods known to the third,
read_line/2and the code-list is returned as RawInput.
prompt/2), and a Prolog term is read by
read_term/2using the given Options, and is returned as RawInput.
T-Vs^term(T,[variable_names(Vs)])input method will return the term read, paired with the list of variable names.