contains([X|Ys],X).
contains([Y|Ys],X) :- contains(Ys,X).