utw_liste_rozw(Co, Cel, _) :- asserta(wybrany(ini)), call(Cel), asserta(wybrany(Co)), fail.

utw_liste_rozw(_, _, Lista_rozw) :- zbieraj([], Lista_rob), !, Lista_rozw = Lista_rob.

zbieraj(S, L) :- pob_nast(X), !, zbieraj([X|S], L).
zbieraj(L, L).

pob_nast(X) :- retract(wybrany(X)), !, X \= ini.