:- initialization(main). main :- number_chars(N,"%\n(7").