comb(A,[],[]). comb(A,[B|C],[B,[A|B]|E]):-comb(A,C,E). bol([],[[]]). bol([A|B],S):-bol(B,S1),comb(A,S1,S).