Необходимо создать функцию, удваивающую значения элементов списка. Единственным аргументом функции будет список))
Идея, как понимаю такова:

брать, что возвращает (CAR <данный_список>) и умножать на 2. Рекурсивно вызывать данную функцию с аргументом CDR <данный_список>.

Проблема возникает, как описать условие выхода из рекурсии?

На прологе у меня это выглядело так:

 

udv([H|T],[X|Y]) :- X = 2*T, p(T,Y).

udv([],[]).

> if (null L) nil
В лиспе отсутствует булев тип, поэтому проверка на nil является лишней.

(defmacro myif (test then else)

  `(cond 

     (,test ,then)

     (T ,else)))