ask
ask(+Question, ?Answer)
The user is prompted by the string (or atom) Question. Answer is unified with the next lexical token on the input stream. No newline is printed after Question.