重複解抑制でついやってしまうのが

sumCombi(N,L,X) :- sort(L,L1),select(L1,X),add(X,N).

というやつ。