メンバ関数

(memq 〈データ〉〈リスト〉) 【関数】

〈リスト〉 の要素のうち， 〈データ〉 と eq?の意味で等しいものがあれば， その要素以降のリストを返す． 複数あれば最初のものが優先され，なければ #fを返す．

例:

(memq 'a '(a (b) 9000)) $\Rightarrow$ (a (b) 9000)
(memq 'c '(a (b) 9000)) $\Rightarrow$ #f
(memq 9000 '(a (b) 9000)) $\Rightarrow$ #f
(memq '(b) '(a (b) 9000)) $\Rightarrow$ #f

(memv 〈データ〉〈リスト〉) 【関数】

〈リスト〉 の要素のうち， 〈データ〉 と eqv?の意味で等しいものがあれば， その要素以降のリストを返す． 複数あれば最初のものが優先され，なければ #fを返す．

例:

(memv 'a '(a (b) 9000)) $\Rightarrow$ (a (b) 9000)
(memv 'c '(a (b) 9000)) $\Rightarrow$ #f
(memv 9000 '(a (b) 9000)) $\Rightarrow$ (9000)
(memv '(b) '(a (b) 9000)) $\Rightarrow$ #f

(member 〈データ〉〈リスト〉) 【関数】

〈リスト〉 の要素のうち， 〈データ〉 と equal?の意味で等しいものがあれば， その要素以降のリストを返す． 複数あれば最初のものが優先され，なければ #fを返す．

例:

(member 'a '(a (b) 9000)) $\Rightarrow$ (a (b) 9000)
(member 'c '(a (b) 9000)) $\Rightarrow$ #f
(member 9000 '(a (b) 9000)) $\Rightarrow$ (9000)
(member '(b) '(a (b) 9000)) $\Rightarrow$ ((b) 9000)

(find-if 〈述語〉〈リスト〉) 【関数】

〈リスト〉 の中で 〈述語〉 を満たす最初の要素を返す． そのような要素がなければ #fを返す．

(subset? 〈リスト$_0$〉〈リスト$_2$〉) 【関数】

〈リスト$_0$〉 のすべての要素が同時に 〈リスト$_2$〉 の 要素であれば #tを返す． そうでなければ #fを返す．