Iterate through a list in ACL2

Question

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

Trying to figure out how to iterate through a list in ACL2, I know it can be done in lisp but I can't use those functions. Any tips would be greatly appreciated.

score 1 · Answer 1 · answered Oct 18 '18 at 16:50

1

Iteration in ACL2 is done through recursion. there is no "iteration"

answered Oct 18 '18 at 16:50

William Machado

89
10

Iterate through a list in ACL2

1 Answers1