调用函数n次acl2

Question

我不知道如何调用一个函数n次才能在另一个函数中使用

我有一个函数

(defun right-shift (l)
   (append l '(0))) 

我需要写另一个函数，这个函数需要移位'(l) n次

(defun right-shift-n-times (l n)
   (natp n)
       ...)

我甚至不确定我是否正确地启动了该函数，并且我不知道如何调用它n次。

Answer 1

你应该给出更多关于你的问题的背景。如果你想按位移动数据，我想还有更有效的方法。

对于家庭作业式的解决方案，我会从以下内容开始：

 (defun right-shift-n-times (l n)
       (if (zerop n)
           l
           (right-shift-n-times (right-shift l) (1- n))))

但我不是一个很有经验的口吃者。