リストＬ１の要素であるがＬ２の要素ではないものをバックトラップでもとめるPrologプログラム(L1,L2,X) :-
member(X,L1),not(member(X,L2)).