SICP問題2.55

(car ''abracadabra)
を入力すると、解釈系は quote と印字してくる理由。

'a は 特殊形式 quote を用いて (quote a) と書くことができる。
問題の
(car ''abracadabra)
は
(car (quote (quote abracadabra)))
と同じ意味でり、解釈系はどの式もデータオブジェクトとして操作することが原則であるため。
なお上記の式は以下の式を評価して構成することが出来る。
(list 'car (list 'quote (list 'quote 'abracadabra)))
=> (car ''abracadabra)
よって (car (quote (quote abracadabra)))
(car (list 'quote (list 'quote 'abracadabra)))
となり、結果は quote となる。