1validate(L) :-
    2    findall(X, member(X,L), LL),
    3    LL = L.
    4
    5member(X1, [X2|_]) :- X1 #= X2.
    6member(X, [_|R]) :- member(X, R).
    7
    8?- validate([1,2,3]).