diff --git a/server.pl b/server.pl index 36f5172..4d3e866 100755 --- a/server.pl +++ b/server.pl @@ -157,15 +157,16 @@ commits([Commit|Rest], [CommitInfo|CommitInfos]) :- commits(Rest, CommitInfos). list_set(ListOfList, Functor, Result) :- - setof( + findall( Item, ( member(L, ListOfList), Pred =.. [Functor, Item], member(Pred, L) ), - Result - ). + ResultList + ), + list_to_set(ResultList, Result). filetype_suffix(File, SuffixLower) :- split_string(File, ".", "", Parts), length(Parts, Length),