Este es un problema extendido de esta página.Prolog posible eliminación de elementos en una lista

Por ejemplo, para una lista X = [1,2,3], puedo restar lo siguiente:

reste 1 del primer / segundo elemento, y X se convierte en [1-1, 2-1, 3] = [0, 1, 3] = [1, 3]

reste 1 del primer / tercer elemento: X se convierte en [2, 2]

restar 1 del segundo / tercer elemento: X se convierte en [1, 1, 2]

restar 2 del segundo / tercer elemento: X se convierte en [1, 1]

Por lo tanto, siempre resta 2 elementos, y con el mismo número, pero siempre un número real. ¿Alguien tiene alguna idea sobre esto?

Esto se ve mejor:

subt_comb(X, Y).
X = [1,2,3]
Y = [1,3]
Y = [2,2]
Y = [1,1,2]
Y = [1,1]

Después de echar un vistazo a las soluciones de lurker y gusbro, he creado algo como esto.

remove2([HX|T], S2):-
    between(1, HX, Y),
    remove2__([HX|T], Y, S2).
remove2([HX|T], [HX|TY]):-
    remove2(T, TY).

% remove2__(S1, Y, S2), this procedure is to execute 0 after
% subtraction. Y is generated from remove2(S1, S2).
remove2__([Y|T], Y, TY):- remove2_(Y, T, Y, TY).
remove2__([HX|T], Y, [HY|TY]):-
    HX>Y,
    HY is HX - Y,
    remove2_(HX, T, Y, TY).


% remove2_(HX, L, Y, S2).
% HX is the first element from the origin list. L is the tail of the
% origin list. Y is the number to subtract. S2 is the result.
remove2_(_, [H|T], H, T).
remove2_(_, [H|T], Y, [HY|T]):-   %for list with descending order
    HY is H - Y, HY >0.
remove2_(HX, [H|T], Y, [H|TY]):-   %going for another element.
    remove2_(HX, T, Y, TY).


?- remove2([3,2,1],X).
X = [2, 1, 1] ;
X = [2, 2] ;
X = [1, 1] ;
X = [3, 1] ;
false.

?- remove2([1,2,3],X).
X = [1, 3] ;
X = [2, 2] ;
X = [1, 1, 2] ;
X = [1, 1] ;
false.