member(E,[E|_]):.

member(E,[_|T]):-member(E,T).
mult([],L):.
mult([H|T],L):-member(H,L),mult(T,L).
egal(L1,L2):- mult(L1,L2),mult(L2,L1).

member(e,l1...ln) = {
true, e = l1
member(e, l2...ln) , altfel.
}

mult(l1...ln, a1...am)={
true, n=0 (prima lista e goala)
mult(l2...ln,a1....am) , altfel
}

egal(l1...ln, a1...am) = {
mult(l1...ln, a1...am) & , mult(a1...am,l1...ln)