intersection.pl

来自「关系算子的PROLOG描述 prolog人工智能语言」· PL 代码 · 共 14 行

%myintersection(+SETA,+SETB,-SETC).
%myintersection(A,[],[]).
%myintersection(A,[H|T],[H|B]):-myintersetion(A,T,B),member(H,A).
%myintersection(A,[H|T],B):-myintersection(A,T,B),not(member(H,A)).
%
%
%
%
myintersection(A,[],[]).
myintersection(A,[Hb|Tb],[Hb|Tc]):-myintersection(A,Tb,Tc),member(Hb,A).
myintersection(A,[Hb|Tb],Tc):-myintersection(A,Tb,Tc),
                                              not(member(Hb,A)).