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