Recherche:

retirer_doublon([[_,_,C,_,_]|U],S,R):- member([_,_,C,_,_],U), est incomplet, je ne peux pas repondre, mais je peux supposer que tu veux écrire :

retirer_doublon([[_,_,C,_,_]|U],S,R):-
...

Dans le test du findall, on peut ajouter la condition d'une liste on vide :

test :-
L= [a, [], [b, c], [d, f], g, []],
writeln(L),

findall(SL, (member(SL, L), SL \= []), T),
writeln(T)....