>>415
まちがえました。
list(L) :- \+(var(L)),L=[].
list(L) :- \+(var(L)),L=[_|_].

でした。