Процедуры сложения

Каждая из следующих двух процедур определяет способ сложения двух положительных целых чисел с помощью процедур inc , которая добавляет к своему аргументу 1, и dec , которая отнимает от своего аргумента 1.

(define (+ a b)
  (if (= a 0)
      b
      (inc (+ (dec a) b))))

(define (+ a b)
  (if (= a 0)
      b
      (+ (dec a) (inc b))))

Используя подстановочную модель, проиллюстрируйте процесс, порождаемый каждой из этих процедур, вычислив (+ 4 5) . Являются ли эти процессы итеративными или рекурсивными?

---