# member(?要素,?リスト)

member/2は、「要素」が「リスト」の要素である場合に成功します。「要素」が値を持たない場合には、バックトラッキングによって「リスト」の要素を生成します。

?- member(a(1,2),[a(1,2),b,c]).

yes ?- member(X,[a,b,c]). X 　 = a ; X = b ; X = c ;

no ?- _

以下は、member/2の実現例です。

member(X,[X|_]). member(X,[_|L]):- member(X,L).

scroll to top