bzp2([],A,A). bzp2([H|T],L2,A):- not(member(H,A)), append(A,[H],A2), bzp2(T,L2,A2). bzp2([H|T],L2,A):- member(H,A), bzp2(T,L2,A).