What is the purpose of the let bindings in the procedures add-assertion! Andadd-rule! ?
What is the purpose of the let bindings in the procedures add-assertion! Andadd-rule! ? What would be wrong with the following implementation of add-assertion! ?Hint: Recall the definition of the infinite stream:
(define ones(cons-stream 1 ones)).
(define (add-assertion! assertion)
(store-assertion-in-index assertion)
(set! THE-ASSERTIONS
(cons-stream assertion THE-ASSERTIONS))
’ok)