member1(X, L)

Succeeds  if X can be unified with an element of list L.  This predicate is
built in and will not succeed more than once.
