Il faut juste écrire la procédure de calcul :

test(L) :-
length(L, 5),
fd_domain(L, 10, 100),
calcule_somme(L, S),
S #= 100,
fd_labeling(L).

calcule_somme(L, S) :-