遍历ACL2中的列表

Question

(defun listmover-fun (l n)
 (if (= n (len l)))
     (last l )
(position n 1)
 listmover-fun (l n+1)
  )

试图弄清楚如何遍历ACL2中的列表，我知道它可以用Lisp完成，但是我不能使用那些功能。任何提示将不胜感激。

Answer 1

ACL2中的迭代是通过递归完成的。没有“迭代”