Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
subconjunto([],[]). subconjunto([X|L1],[X|L2]) :- subconjunto(L1,L2). subconjunto(L1,[_|L2]) :- subconjunto(L1,L2). partes(L1,L2) :- findall(Y,subconjunto(Y,L1),L2). combinación_1(L1,N,L2) :- subconjunto(L2,L1), length(L2,N). combinación_2(L1,N,L2) :- length(L2,N), subconjunto(L2,L1). combinación(L1,N,L2) :- combinación_2(L1,N,L2). combinaciones_1(L1,N,L2) :- findall(L,combinación_1(L1,N,L),L2). combinaciones_2(L1,N,L2) :- findall(L,combinación_2(L1,N,L),L2). combinaciones(L1,N,L2) :- combinaciones_2(L1,N,L2). permutación([],[]). permutación([X|L1],L2) :- select(X,L2,L3), permutación(L1,L3). variación_1(L1,N,L2) :- combinación(L1,N,L3), permutación(L2,L3). variación_2(_,0,[]). variación_2(L1,N,[X|L2]) :- N > 0, M is N-1, select(X,L1,L3), variación_2(L3,M,L2). variaciones_1(L1,N,L2) :- setof(L,variación_1(L1,N,L),L2). variaciones_2(L1,N,L2) :- setof(L,variación_2(L1,N,L),L2).