main :-
	F=f(F),
	L1=[L1],
	write(L1), nl,
	L2=[1|L2],
	write(L2), nl,
	L3=[L3|1],
	write(L3), nl,
	L4=[L4|L4],
	write(L4), nl,
	true.

:- initialization(main).