1.1 The Elements of Programming

SICP

prefix notation : 前置記法
pretty-printing : 改行を入れるなどして、コードをフォーマットして書くこと

[1.1.2 Naming and the Environment]　はSchemeでの関数名の規約や評価法が書いてある。

Schemeの一般的な関数定義

(define (<name> <fomal parameters>) <body>)

式の評価順について
・normal-order evaluation
fully expand and then reduce

・applicative-order evaluation
evaluate the arguments and then apply

Lisp uses applicative-order evaluation

・cond 文

(cond (<p1> <e1>)
(<p2> <e2>)
…
(<pn> <en>))

clause : 節　…( )
predicate : 述語…
上から評価し、がtrueの節のを返す。
もし、全てのがfalseだったらundefineとなる。

・if 文

(if <predicate> <consequent> <alternative>)

が true ならば を返し、false ならば を返す。