Перебирать список в 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 выполняется через рекурсию.нет "итерации"