has_duplicates(List) :- 
	member(X, List),
	select(X, List, Rest), 
	member(X, Rest), !.
collect_todos(Ys) :-
	findall(Y, todo(_, Y), Ys).
todos_have_duplicates :-
	collect_todos(Ys),
	has_duplicates(Ys).
todo(24, 'koko').
todo(25, 'xasda').
todo(26, 'dsadsa').