domains list=integer* predicates findsum(list) sum(list,integer) clauses findsum(L):- sum(L,Sum), write(\"\\nSum Of Given List : \",Sum). sum([],0). sum([X|Tail],Sum):- sum(Tail,Temp), Sum=Temp+X. OUT PUT ======= Goal: findsum([1,2,3,4,5]) Sum Of Given List : 15 Yes ------------------------------------- Goal: findsum([]) Sum Of Given List : 0 Yes ------------------------------------- Goal: findsum([1,2,3,4,5,6,7,8,9,10]) Sum Of Given List : 55 Yes