- 567 名前：デフォルトの名無しさん mailto:sage [2009/10/14(水) 08:18:17 ]
- >>565
そうです。
もっともmember/2についていうと、append/3というスーパーセットがあり、
?- member(A,[1,2,3]). ?- foo(L),member(2,L). は
?- append(L1,[A|L2],[1,2,3]). ?- foo(L),append(L1,[2|L2],L).
と同じ意味になります。append/3くらいの地位を築いていると、
Aの位置が少々不自然でも文句を言う人はいないのかもしれない。
