One of the most elementary DCG nonterminals is ... //0, which can be read as "anything at all":
... //0
... --> [] | [_], ... .
It can be used to describe a list Ls that contains the element E via:
Ls
E
phrase(( ..., [E], ... ), Ls)