:- initialization(main). main :- number_chars(N,"'\\\n\\\n-'1"), write(N), nl.