ACL2 как сохранить часть списка?

Question

Так что я все еще относительно новичок в acl2 и lisp, я не знаю, как это сделать в lisp. Как я могу добиться своего комментария?(Минусы...) Я продолжаю думать итератор, но мне сказали, что ACL2 использует только рекурсию

(defun keep-at-most-n-bits (l n)
   ;cons a (up to n) 

   )

;;;unit tests.
(check-expect (keep-at-most-n-bits '(1 0 1 1) 3)  '(1 0 1))
(check-expect (keep-at-most-n-bits '(1 0 1 1) 2)  '(1 0))
(check-expect (keep-at-most-n-bits '(1 0 1 1) 8)  '(1 0 1 1))

Answer 1

Похоже, что он делает то, что вы хотите:

(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 '()))

Это работает путем создания вспомогательной функции (first-n), который принимает переменную аккумулятора. (acc) first-n вызывает сам себя, каждый раз обращаясь к первому значению списка ввода. Как только список ввода исчерпан или n 0, то функция обращает аккумулятор и возвращает его.

Теперь все keep-at-most-n-bits нужно сделать, это запустить вспомогательную функцию с пустым аккумулятором.

Это довольно распространенный шаблон в Scheme - однако в Scheme вы можете определить вспомогательную функцию в той функции, в которой она вам нужна.:) Я не уверен, поддерживается ли это на диалекте, с которым вы работаете, поэтому я решил чтобы это было безопасно.:)