(no subject)

Hi people,
could you help me ? i need do something like this :

sumList([3..7,5,8..9,0],K)
-->
K = 16..21

is my solution right ???

:- lib(fd).

sumList([],Sum) :-
	Sum ::[0].
sumList([H|Rest],Sum) :-
	sumList(Rest,Sum1),
	A :: H,
	Sum #= A+Sum1.

eclipse 5.6 win
sometimes happens (instantiation fault in A :: _397{[0 .. 24]})

thank you very much :)