:-use_module(library(clpfd)).

somme([],0).
somme([X|L],Res) :-
    Res#=Res1+X,
    somme(L,Res1).

produit([],1).
produit([X|L],Res) :-
    Res#=Res1*X,
    produit(L,Res1).



:- begin_tests(mes_tests).

test(somme):-
    somme([1,2,3],6).

test(produit):-
    produit([1,2,3],6).

:- end_tests(mes_tests).