acl2 - 遍历 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 中的迭代是通过递归完成的。没有“迭代”