islist([]).
islist([_|B]):-islist(B).