domains
i=integer
li=i*
s=symbol
ls=s*

predicates
dod(li,i)

clauses
dod([], 0).
dod([G|O], W) :- dod(O, W1), W=W1+G.