|
|
We discontinued to sell IF/Prolog Dec 31. 2003. Dedicated technical support for IF/Prolog ended Dec 31 2008. This site is maintained as a community service only.
# 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).
| document: http://www.ifcomputer.co.jp/IFProlog/Manuals/v4.1/reference/member/print_en.html published 2012/5/21 update 1995/11/6 (c) 1996-2009 IF Computer Japan | ||||||||
|
