lisp - 简化和评估LISP中的表达

我试图创建一个lisp函数来计算和简化乘法和加法运算。
函数的工作方式应该是当用户调用函数时
（simplify Mult'（*12））它只打印2或
（simplify Mult'（*0 3 3 7））仅打印0。
到目前为止我有这个

(defun simplify-multiplication (lis)
    (if (not (null lis))
        (if (member '0 lis) 0
        (if (member '1 lis) cdr lis
                (if (listp (car lis))
                    (cons(simplify(car lis)))
                    (if (numberp (car lis))
                        (if (null (cdr lis))
                            lis
                            (cons (car lis) (simplify-multiplication (cdr lis)))
                        )
                        (if (eq (car lis) '+)
                            (cons (car lis) (simplify-multiplication (cdr lis)))
                            (if (eq (car lis) '*)
                                (cons (car lis) (simplify-multiplication (cdr lis)))
                                lis
                            )
                        )
                    )
                )

            )
        )
    )
)

最佳答案

您可以编写一个单函数simplify，它对乘法和加法都应用简化规则如果要递归地简化表达式，首先必须简化每个参数，然后对相应的操作应用简化规则。
以下可能是一个起点：

(defun simplify (lis)
  (if (atom lis)
    lis
    (let ((args (mapcar #'simplify (cdr lis))))
      (cond
        ((eql (car lis) '+)
          (setq args (remove 0 args))
          (case (length args)
            (0 0)
            (1 (car args))
            (otherwise (cons '+ args)) ))
        ((eql (car lis) '*)
          (if (member 0 args)
              0
              (progn
                (setq args (remove 1 args))
                (case (length args)
                  (0 1)
                  (1 (car args))
                  (otherwise (cons '* args)) ))))
        (T (cons (car lis) args)) ))))

您可能需要添加其他简化规则，例如（*2（*3 4））=>（*2 3 4）等以及检测错误的表达式，例如（simplify'（+））。

关于lisp - 简化和评估LISP中的表达，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/33405065/