:- initialization(main).

main :-
	Z=[Z|[a|b]],
	write(Z), nl.