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

predicates
ost(li, l)

clauses
ost([G], G).
ost([_|O], W):-ost(O, W1), W1=W.