domains
 s=symbol
 l1=s*

predicates
 dol(l1,l1,l1)

clauses
 dol([],X,X).
 dol([G|O],Y,N):-dol(O,Y,N1),N=[G|N1].