Scheme: определить функцию предикатного типа, которая определяет, что два S-выражения эквивалентны - Lisp

Формулировка задачи:

Нужна помощь "определить функцию предикатного типа которая определяет, два S-выражения эквивалентны". Можна использовать только базовые функции: define, lambda, cdr, car, pair?, list?, quote, eq? , eqv?, equal?, cond, cons и рекурсию. Буду очень благодарен за помощь.

Можна использовать только базовые функции: define, lambda, cdr, car, pair?, list?, quote, eq? , eqv?, cond, cons и рекурсию.

Решение задачи: «Scheme: определить функцию предикатного типа, которая определяет, что два S-выражения эквивалентны»

Листинг программы

(define comp-exps
 (lambda (x1 x2)
  (cond ((or (atom? x1) (atom? x2)) (eq? x1 x2))
        (#t (and (comp-exps (car x1) (car x2))
                 (comp-exps (cdr x1) (cdr x2)))))))  
                
(display (comp-exps '(1 (2 3)) '(1 (2 3))))

Объяснение кода листинга программы

В данном коде определена функция с именем comp-exps. Эта функция принимает два аргумента типа S-выражение. Если хотя бы одно из S-выражений является атомом, то функция возвращает результат сравнения этих атомов на равенство (используется оператор eq?). В противном случае функция рекурсивно вызывает саму себя, передавая в качестве аргументов первые элементы каждого из S-выражений (используется оператор car), а также, в случае успешного выполнения рекурсивного вызова, вторые элементы S-выражений (используется оператор cdr). При вызове функции comp-exps с аргументами '(1 (2 3)) и '(1 (2 3)) происходит следующее:

Функция принимает два аргумента: x1 = '(1 (2 3)) и x2 = '(1 (2 3)).
Поскольку оба аргумента не являются атомами, выполняется рекурсивный вызов функции с аргументами (car x1) = 1 и (car x2) = 1, а также (cdr x1) = '(2 3) и (cdr x2) = '(2 3).
Рекурсивный вызов функции с аргументами 1 и 1 возвращает результат сравнения этих атомов на равенство, который равен true.
Рекурсивный вызов функции с аргументами '(2 3) и '(2 3) также возвращает результат сравнения этих атомов на равенство, который также равен true.
Условие (#t (and (comp-exps (car x1) (car x2)) (comp-exps (cdr x1) (cdr x2)))) истинно, поскольку оба рекурсивных вызова вернули true.
Функция возвращает результат сравнения атомов 1 и 1 на равенство, который равен true.
Выполняется приведение к типу S-выражения и выводится результат вычисления функции comp-exps, который равен true.