Did you know ... Search Documentation:
Predicate user_input/0

Sorry, No manual entry for user_input/0