показывает отчетливый список конкретных атомов в списке в LISP

Question

Я моделирование логических выражений как LISP списки, как этот: «(NOT (AND 0 (OR BC)))
Мне нужно написать функцию, которая отображает переменные в выражении переменными являются все, кроме цифр, AND, OR. Любое тело может мне помочь? пример: выход предыдущего выражения: (BC)

Вот моя попытка:

(defun print-vars (L1) 
    "Append L1 by L2." 
    (if (= 0 (list-length (L1))) 
     nil 
     (if (= 1 (list-length (L1))) 
      L1 
      (cons (print-vars (remove-duplicates (first (L1)))) 
       (print-vars (remove-duplicates (rest (L1)))))))) 

Answer 1

Вы могли бы сделать что-то вроде этого:

(defun vars (exp &optional (res nil)) 
    (if exp 
     (if (consp exp) 
      (vars (cdr exp) (vars (car exp) res)) 
      (if (or (numberp exp) (member exp '(and or not))) 
       res 
       (adjoin exp res))) 
     res)) 

затем

? (vars '(NOT (AND 0 (OR B C)))) 
(C B) 
? (vars '(NOT (AND C (OR B C)))) 
(B C)