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