>>415
list/1は組込述語になっている処理系が多いと思いますが定義するなら

list([]) :- !.
list([_|_]).