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

predicates
pier(li, l)

clauses
pier([G], G).
pier([G|_], G).