sicp 4.2.1两题

4.25，如果在scheme解释器的应用序求值下,unless定义为一个过程，那么
(* (factorial (- n 1))
将无穷递归下去。如果在正则序时，由于延时求值，仅当需要计算时才求值此表达式，不会造成无穷递归，在1的时候正常结束递归。

4.26，在上一节求值器的基础上定义unless的语法形式还是很简单的，
首先在analyze过程添加分析unless:

<!---->  ((unless ?  exp) (analyze (unless -> if  exp)))

然后定义unless?和unless->if

<!----> (define (unless ?  exp)
  (tagged - list ?  exp  ' unless))
(define (unless -> if  exp)
  (make - if  (cadr exp) (cadddr exp) (caddr exp)))

最后一问，构造一个unless与高阶函数联合使用的场景，在此场景下，unless不能定义成特殊形式，仅在定义成过程的情况下有效，我想像不出此场景。