И это всё МОЁ
(defvar n)
(setq n 3)

(defun list-reverse (list)
  (do ((z 1 (- n 1))
       (x list (cdr x))
       (y '() (cons (car x) y)))
      ((= z 0)
       y)))

(list-reverse '(a b c d f e g)) => '(a b c)


и оно никак. Надо обязательно на do сделать, а то я с ним не разберусь.

Там люди вот такое выдают на do.

(defun factorial (n)
(do (( j n (- j 1))
(f 1 (* j f )))
((= j 0) f )))