SICP sicp 148: 4.4 exercises 1484.4 and

SICP sicp 148: 4.4 exercises 1484.4 and
Exercise 4-4 Original

Exercise 4.4. Recall the definitions of the special forms and or from chapter 1:

● And: The expressions are evaluated from left to right. if any expression evaluates to false, false is returned; any remaining expressions are not evaluated. if all the expressions evaluate to true values, the value of the last expression is returned. if there are no expressions then true is returned.

● Or: The expressions are evaluated from left to right. if any expression evaluates to a true value, that value is returned; any remaining expressions are not evaluated. if all expressions evaluate to false, or if there are no expressions, then false is returned.

Install and or as new special forms for the evaluator by defining appropriate syntax procedures and evaluation procedures eval-and eval-or. Alternatively, show how to implement and or as derived expressions.

Code

 ((and? expr) (evaln (and->if expr) env))  (define (and->if expr)          (expand-and-clauses (and-clauses expr)))  (define (expand-and-clauses clauses)          (if (null? clauses)              (make-if 'true 'true 'false)                          (let ((first (car clauses))                            (rest (cdr clauses)))                     (if (null? rest)                              (make-if first first 'false)                         (make-if first (expand-and-clauses rest) 'false)))))  ((or? expr) (evaln (or->if expr) env))   (define (or->if expr)          (expand-or-clauses (or-clauses expr)))  (define (expand-or-clauses clauses)          (if (null? clauses)              (make-if 'true 'false 'true)                  (let ((first (car clauses))                            (rest (cdr clauses)))                   (make-if first 'true (expand-or-clauses rest)))))