dups([]). dups([A,A|T]) :- dups(T).