項がリストの要素であるかどうかを検査する。

member(?項, ?リスト)

member/2 は、項 リストの要素であることを宣言する。 様々な場合がある。:

• もし、項 と リスト が変数でないならば、member/2は 項 がリストの要素であるかどうかを検査する。 バックトラックによって、member/2 は、項 がリストの要素である回数だけ成功する。
• もし、項が変数で、リスト がリストならば、 member/2 は、(バックトラックによって)リストの全要素を検索し、項で単一化される。
• もし、項が変数でなく、リストがオープンリスト (例えば、リストの尾部が変数のもの)ならば、member/2 項 がリストの要素であることをアサートする。

引数

項                   項
リスト               リスト 

例

標準

この述語は、ISO-Prolog 標準には含まれない。

関連

冒頭へ