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

predicates
dok(s,ls,ls)

clauses
dok(S,[],[S]).
dok(S,[G|O],W):-dok(S,O,W1), W=[G|W1].