liste([]).
liste([X|Xs]):-
    liste(Xs).
