list([H|Ts]) :- list(Ts).
list([]).