list([]).
list([Head|Tail]) :- element(Head), list(Tail).
