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