:- initialization(main).

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