Prolog procurar uma combinação possível para subtrair 2 elementos de uma lista

Este é um problema estendido desta página.Prolog possível remoção de elementos em uma lista

Por exemplo, para uma lista X = [1,2,3], posso subtrair da seguinte maneira:

subtraia 1 do 1º / 2º elemento e X se torna [1-1, 2-1, 3] = [0, 1, 3] = [1, 3]

subtrair 1 do 1º / 3º elemento: X se torna [2, 2]

subtrair 1 do 2º / 3º elemento: X se torna [1, 1, 2]

subtraia 2 do 2º / 3º elemento: X se torna [1, 1]

Portanto, está sempre subtraindo 2 elementos e com o mesmo número, mas sempre um número real. Alguém tem alguma idéia sobre isso?

Parece melhor:

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

Depois de dar uma olhada nas soluções de lurker e gusbro, criei algo parecido com isto.

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.