CAR とCDR （ カーとクダー ） LISP 言語の基本的なデータ型であるリスト を操作するためのもっとも基本的な2つの関数である。LISP言語のリストはコンスセル と呼ばれる（ペア またはドット対 とも呼ばれる）二分木 構造セルにより表現され、CARは二分木の片側を返しこれはリストの先頭の要素である。またCDRは二分木のもう片側を返しこれは後続する二分木セルである。
コンスセル
CAR は/kɑɹ/ （ カー ） CDR は/ˈkʊdəɹ/ （ クダー ） [ 1]
この不可解な名称は、最初にLISPが開発されたIBM 704 の命令形式に由来する。IBM 704は36ビット・ワード の機械で、タイプAの命令形式ではこれを3ビットのプレフィックス（オペコード ）、15ビットのデクリメント、3ビットのタグ、15ビットのアドレスの4つの部分に分けて用いた[ 2] CAR は「レジスターのアドレス部の中身」[ 3] CDRは「レジスターのデクリメント部の中身」[ 4] [ 1]
Common Lisp では、より意味のあるfirst（「最初のもの」を意味する）およびrest（「残りのもの」を意味する）という関数も用意されているが、古い名称もひき続き使われている。
LISPにおいて、コンス（またはペア、またはドット対）は2つの要素を持つ順序対 である。1番目の要素をCAR、2番目の要素をCDRと呼ぶ。リストは「空リスト nil または CDRがリストであるところのコンスセル」であると再帰的に定義 される[ 5]
具体的にいうと、要素 a b (a . b ) と表され、リスト (e1 e2 e3 ) は、各要素を car 関数で取り出せるところのコンスセルと、後続のコンスセルを cdr 関数で取り出せるところの片方向リスト 、すなわち (e1 . (e2 . e3 . nil)) として実現されている。したがって、リストの先頭の要素を得るのは、最後の要素を得るのに比べて効率がよい。
リスト L (car (cdr L ))、3番目の要素は (car (cdr (cdr L ))) のようにして得られる。
関数 car と cdr の引数が空リスト nil である場合、Common Lispでは空リストを返す[ 6] Scheme ではエラーになる[ 7]
carとcdrを再帰 や条件分岐 と組み合わせることで、リスト関係のさまざまな関数を作ることができる。
たとえば、リストの最後の要素を得る last 関数は、
( defun last ( L )
( if ( consp ( cdr L )) ; L のCDR部分がコンスセルである場合
( last ( cdr L ))
; else
( car L )))
リストの長さを得る関数 length は、
( defun length ( L )
( if ( null L ) ; L が空リストである場合
0
; else
( + 1 ( length ( cdr L )))))
のように定義できる。
