Define o predicado subconjunto(Cnj, Subcnj) onde Cnj e Subcnj são
listas representando dois conjuntos. Pretendemos ser capazes de usar esta relação não
só para verificar a relação subconjunto, mas também sermos capazes de gerar todos os
possíveis subconjuntos de um dado conjunto. Por exemplo
?-subconjunto([a,b,c],S).
S = [a,b,c] ;
S = [b,c] ;
S = [c] ;
S = [ ] ;
...