number_chars(Number, List) succeeds if and only if List is a list of one character atoms which, in order, form Number.