Please answer question in regaurds to programming language prolog:We are writing total$/2,$ a relation between a list of integers and their sum. We have written the base case:

total$([],0).$

Which of the rules below is the correct recursive case?

total$([x|xs])$:$-x+$total$(xs)$

total$(x$:$xs,x+S)$:$-$total$(xs,S).$

total$([x|xs],x+S)$:$-$total$(xs,S).$

total$([x|xs],S)$:$-S$#$=T+x,$total$(xs,T).$

All of the above

None of the above