ACL2如何保留列表的一部分？

作者: 滔滔江水
发布时间: 2024-01-15 04:12:41 (5月前)
转自：

2 条回复

0#
回复此人
CTO啊哦 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 这看起来像你想要的： </p> <pre> <code> (defun first-n (lst n acc) (if (or (= n 0) (eq lst nil)) (reverse acc) (first-n (cdr lst) (- n 1) (cons (car lst) acc)))) (defun keep-at-most-n-bits (l n) (first-n l n '())) </code> </pre> <P> 这通过创建辅助功能来工作（ <code> first-n </code> ）取一个累加器变量。（ <code> acc </code> ） <code> first-n </code> 每次调用输入列表的第一个值时调用自身。一旦输入列表用尽或 <code> n </code> 为0，然后该函数反转累加器并返回它。 </p> <P> 现在，所有 <code> keep-at-most-n-bits </code> 需要做的是使用空累加器触发辅助函数。 </p> <P> 这是Scheme中Scheme的一个相当常见的模式，但是，你可以在你需要的函数中定义辅助函数。:)我不确定你使用的方言是否支持这个，所以我决定像这样安全地玩。 :) </p> </DIV>

编辑

登录后才能参与评论