小编LRA*_*RAC的帖子

编写一个谓词,allDistinct/1其参数是符号列表,如果列表中的所有符号都不同,则成功.

notin(A,[]).
notin(A,[B|C]) :-
   A\=B,
   notin(A,C).

allDistinct([]).
allDistinct([_]).
allDistinct([A|B]) :-
   notin(A,B), 
   allDistinct(B).