问遍历ACL2中的列表
EN

Stack Overflow用户

提问于 2018-10-12 09:11:49

回答 1查看 58关注 0票数 0

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

试图弄清楚如何在ACL2中遍历列表，我知道这可以在lisp中完成，但我不能使用这些函数。任何建议都将不胜感激。

发布于 2018-10-19 00:50:37

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

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/52770865

复制

相似问题

问遍历ACL2中的列表EN