list([]).
list([_Head|Tail]) :- list(Tail).