这是对的吗?这是目前的理解。
(defun ml (lst x)
(if (listp lst)
(progn
(if (null lst)
x
(ml (cdr lst) (+ x 1))))))