如图。。一直说我广告被吞。。改成图片发了。。

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).