:-initialization(main).

main :-
	A=B*[], B=B*[]*[], A=B.