:- initialization(main). main :- number_chars(N,"+9").