:- initialization(main).

main :-
	L="0"||_,
	write_term(L, [double_quotes(true)]), nl.