# member
MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
# 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).
Up
read on...