comb_rep(0,_,[]). comb_rep(N,[X|T],[X|RComb]):-N>0,N1 is N-1,comb_rep(N1,[X|T],RComb). comb_rep(N,[_|T],RComb):-N>0,comb_rep(N,T,RComb).