		/* List Membership */

member([],        x)  => false.
member(cons(x,t), x)  => true.
member(cons(y,t), x)  => member(t,x) where eq(x,y) = false.

