Рекурсивная функция, меняющая порядок элементов в списке - Lisp

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

Дана рекурсивная функция, которая меняет порядок элементов в списке. Например:

>(total-reverse ‘(a b (c (d e (f g)))))
((((G F) E D) C) B A)

Нужно доопределить данную функцию в виде

>(defun total-reverse (x)
     (cond ((null x) …)
     ((atom x) …)
               (t (…))))

Решение задачи: «Рекурсивная функция, меняющая порядок элементов в списке»

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

(defun F (lst)
  (if (atom lst)
    lst
    (append (F (cdr lst))
            (list (F (car lst))))))

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

В данном коде определена рекурсивная функция F, которая изменяет порядок элементов в списке. Функция принимает один аргумент lst, который является списком.

Если lst является атомом (то есть это не список), то функция возвращает его без изменений.
Если lst является списком, то функция рекурсивно вызывает саму себя, передавая в качестве аргумента cdr lst (т.е. все элементы списка, кроме первого).
Затем функция добавляет в начало полученного списка первый элемент lst, который передается в функцию F. Таким образом, функция изменяет порядок элементов в списке, перемещая первый элемент в конец.