一个复杂的 Lisp 问题

Question

定义一个函数contains，它接受两个参数，一个符号A和一个符号列表L，并且仅当L包含A作为其元素之一时才返回t。

这是最初的问题。我对 LISP 很陌生，想要一些代码以及语法解释。来自 java 和 C++ 背景的 LISP 在本质上是非常不同的。请帮忙。

到目前为止，我的代码成功地将两个输入作为参数。

伪代码： 我将 A 中的值与列表的第一个值进行比较，然后通过递归调用将列表和变量 A 传递回函数，直到列表为空。如果 List 为空，则返回 null。

这个问题是如果 List 包含一个嵌套列表，我如何识别嵌套循环。

如：(contains #\b '(a (((b))) c)) -> 必须打印为真。

到目前为止我有什么代码：

(defun contains (a list)
    (if (eq a(car list))
        (princ "t")
        (contains a (cdr list))))

(contains  #\B '(B a c d e f g))

我需要一种在列表末尾进行检测的方法。还有一种在嵌套列表中搜索的方法。

Answer 1

首先让我们纠正一些错误：#\b 不是符号，而是字符，据我了解，我们在符号列表中寻找符号，所以我们不需要做一些字符 ->符号转换。第二：不要(princ t)只返回t。

我的短变体：

(defun contains (sym nested-list)
  "Find if NESTED-LIST contains a SYM"
  ;; Check if our list is CONS-cell?.
  (if (consp nested-list)
    ;; Recursion on cars and cdrs
    (or (contains sym (car nested-list))
        (contains sym (cdr nested-list)))
    ;; Elseway just check for equality
    (eq sym nested-list)))

CL-USER> (contains 'a '(b c (x b y (f a)) d))
T
CL-USER> (contains 'w '(b c (x b y (f a)) d))
NIL

也在你的测试用例上：

CL-USER> (contains 'b '(a (((b))) c))
T