Нахождение множества пересечения трех множеств / Prolog

DOMAINS
    list=integer*
PREDICATES
    member(integer,list,list)
    intersect(list,list,list,list)
clauses 
intersect([],_,_,[]).  
 
 intersect([H|T1],S2,S3,[H|T4]):- 
              member(H,S2,S2),member(H,S3,S3),!,
             
              intersect(T1,S2,S3,T4).

 intersect([_|T1],S2,S3,T4):-
              intersect(T1,S2,S3,T4). 

 member(H,[H|Tail],Tail):-!.
  
 member(H,[H1|T],[H1|T]):-
               member(H,T,T).
 
GOAL
write("Pervoe mnozhestvo: "),nl, readterm(list,L),
 write("Vtoroe mnozhestvo: "),nl, readterm(list,M),
 write("Tret'e mnozhestvo3: "),nl,readterm(list,K),
 intersect(L,M,K,Print),
 write("Peresechenie mnozhestv"),nl,
 write(Print).