:- initialization(main).

main :-
	A=[A|B],A=[B|A],false.
main.