member predicate
lmember(X, L) tells whether or not X occurs in list L
lmember(11, [5, 7, 11, 13]) ==> 1
lmember(12, [5, 7, 11, 13]) ==> 0