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

predicates
 ile(ls, i)

clauses
 ile([], 0).
 ile([_|O], W):-ile(O, W1), W=W1+1.