関数 member は、x が集合、リスト、関数、またはモジュール s の要素かどうかを判定します。そうであれば true を、そうでなければ false を返します。

3 番目の引数 'p' が与えられ、member が true を返す場合には、s が集合、リスト、および関数であると、s に現れる最初の x の位置が p に割り当てられます。一方、同じ場合に s がモジュールであると、構成要素の実体が名前 p に割り当てられます。

member(y, {x, y, z});

member(y, {x*y, y*z});

member(x*y, [x*y, w+u, y]);

member(w, [x, y, w, u], 'k');

k;

member(v, f(u, v, w), 'k');

k;

m := module() export e; end module:
member(e, m);

member(e, m, 'p'):
p;

member(f, m);