member1o

added

ns
clojure.core.logic

type
function

(member1o x l)

Like membero but uses to disequality further constraining
the results. For example, if x and l are ground and x occurs
multiple times in l, member1o will succeed only once.