История изменений

Как же тогда код написал?

Не нужно постоянно писать на Emacs Lisp, чтобы уметь написать хелловорлд.

локальная переменная?

Нет, код делает ровно то же, что исходный. С локальной переменной было бы как-то так:

(defun m-lst-PHI4 (lst-1 lst-2)  
  (let (a) 
    (progn (while (and (car lst-1) (car lst-2))
                  (push (+ (car lst-1) (car lst-2)) a)
                  (setq lst-1 (cdr lst-1)) 
                  (setq lst-2 (cdr lst-2))) 
           a) 

Возможно, будет смысл перед циклом установить a в '(), я не помню, как конкретно работает let.

Как же тогда код написал?

Не нужно постоянно писать на Emacs Lisp, чтобы уметь написать хелловорлд.

локальная переменная?

Нет, код делает ровно то же, что исходный. С локальной переменной было бы как-то так:

(defun m-lst-PHI4 (lst-1 lst-2)  
  (let (a) 
    (progn (while (and (car lst-1) (car lst-2))
                  (push (+ (car lst-1) (car lst-2)) a)
                  (setq lst-1 (cdr lst-1)) 
                  (setq lst-2 (cdr lst-2))) 
           a)