Contrainte sur la somme des entiers d'une liste [Résolu]

[citron_666]

Bonjour à tous, je consulte ce forum depuis quelques semaines déjà et je trouve le courage aujourd'hui de m'inscrire pour vous poser une question.
Je souhaiterais poser une contrainte sur la somme des entiers d'une liste avec GNU Prolog, l'équivalent avec SWI-Prolog avec la librairie clpfd de ceci :
sum(L, #=, 200)
J'ai eu beau cherché à droite à gauche je n'ai rien trouvé sur Internet. Je vous remercie d'avance.

PS : le choix du solveur m'a été imposé donc je ne peux pas en changer.

[Trap D]

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

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
test(L) :-
	length(L, 5),
	fd_domain(L, 10, 100),
	calcule_somme(L, S),
	S #= 100,
	fd_labeling(L).
	
calcule_somme(L, S) :-
	V #= 0,
	calcule_somme(L, V, S).
	
calcule_somme([], S, S).

calcule_somme([H | T], V, S) :-
	V1 #= V + H,
	calcule_somme(T, V1, S).

[citron_666]

Simple, propre et clair. Efficacité Trap D.
Je te remercie pour la réponse rapide, problème résolu !