項がリストの要素であるかどうかを検査する。
member/2 は、項 リストの要素であることを宣言する。 様々な場合がある。:
項 項 リスト リスト
| member(b,[a,b,c]). | 成功. |
| member(X,[a,b]). | 以下の代入で、2度成功。
X <- a X <- b |
| member(a,X). | 代入で、無限に成功。
X <- [a|_1], X <- [_2,a|_3], X <- [_4,_5,a|_6],.... |
| member(X,Y). | 代入で、無限に成功。
X <- _1, Y <- [_1|_2], X <- _3, Y <- [_4,_3|_5], X <- _6, Y <- [_7,_8,_6|_9], ... |
この述語は、ISO-Prolog 標準には含まれない。