Задание со спискоразрушающими функциями - Lisp

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

Доброго времени суток Помогите пожалуйста с заданием: - Используя спискоразрушающие функции RPLACA и RPLACD, вставить новый элемент за каждым вхождением заданного элемента в список. И все бы ничего, но кроме rplaca и rplacd можно использовать простейшие функции Лиспа и рекурсии. Никаких циклов и прочего. Заранее благодарю!

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

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

(defun task (lst a x &optional (f (cdr lst)))
  (cond ((null lst) nil)
        ((eq (car lst) a) (rplacd f (cons x (cdr lst))) (task (cddr lst) a x (cdr lst)))
        (t (task (cdr lst) a x (cdr lst)))))
 
==> task
 
 
(setq *z* '(1 2 3 4 2 5 2))
 
==> (1 2 3 4 2 5 2)
 
(task *z* 2 '!)
 
==> NIL
 
*z*
 
==> (1 2 ! 3 4 2 ! 5 2 !)

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

Этот код на языке Lisp представляет собой функцию с именем task, которая принимает три аргумента: lst, a и x. Аргумент lst является списком, который может содержать любое количество элементов. Аргументы a и x являются фиксированными значениями. Функция task работает следующим образом:

Если lst равно nil, то возвращается nil.
Если car lst равно a, то f заменяется на cons x (cdr lst).
Если car lst не равно a, то task вызывается рекурсивно с аргументами (cdr lst), a и x.
Если car lst не равно a, то task вызывается рекурсивно с аргументами (cdr lst), a и x. В данном примере функция task применяется к списку *z* с аргументами 2 и '!'. После выполнения функции, список *z* будет выглядеть так: (1 2 ! 3 4 2 ! 5 2 !). Вот список переменных и их значений, используемых в коде:
lst - список, содержащий элементы, которые нужно обработать.
a - фиксированное значение, которое используется для сравнения с car lst.
x - фиксированное значение, которое добавляется в список после проверки car lst.
f - переменная, которая используется для хранения результата вызова функции cons.
cdr - функция, которая используется для получения списка без первого элемента.
null - функция, которая используется для проверки, является ли список пустым.
eq - функция, которая используется для проверки, равны ли два значения.
car - функция, которая используется для получения первого элемента списка.
cons - функция, которая используется для создания нового элемента списка, содержащего значение x.
rplacd - функция, которая используется для замены значения f на новый список, содержащий значение x.
t - логическое значение, которое используется в условном выражении.
setq - функция, которая используется для присваивания значения переменной *z*.
cddr - функция, которая используется для получения списка без первых двух элементов.
'!' - строковое значение, которое используется в качестве аргумента функции task.
nil - логическое значение, которое используется в качестве аргумента функции task.