?? union.pl
字號:
% This buffer is for notes you don't want to save.
% If you want to create a file, visit that file with C-x C-f,
% then enter the text in that file's own buffer.
%uni(+SETA,+SETB,-SETC).
%method1
%uni(A,[],A).
%uni(A,[H|T],[H|B]):-uni(A,T,B),not(member(H,A)).
%uni(A,[H|T],B):-uni(A,T,B), member(H,A).
%method2
%uni(A,B,X):-union(A,B,X).
uni(A,[],A).
uni(A,[HB|TB],[HB|TC]):-uni(A,TB,TC),not(member(HB,A)).
uni(A,[HB|TB],TC):-uni(A,TB,TC), member(HB,A).
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -