solve :-
read(List),
List = [Head|Tail],
integer(Head),
Tail = [_|_],
!,
sumtest(Head,Tail),
write(List),
nl,
fail.
sumtest(0,[]).
sumtest(Sum,List) :-
List = [Head|Tail],
member(Head,[1,2,3,4,5,6,7,8,9]),
Sum1 is Sum - Head,
sumtest(Sum1,Tail).
member(A, [A|_]).
member(A, [_|Z]) :- member(A, Z).
