求解释这段代码看不懂

fkyourmather

> (subst 'm 'b '(a b (a b c) d))
(a m (a m c) d)
我们可以这样表示此函数
(label subst (lambda (x y z)
     (cond ((atom z)
        (cond ((eq z y) x)
          ('t z)))
       ('t (cons (subst x y (car z))
           (subst x y (cdr z)))))))

ll_j

这是其他分支Lisp的表达形式，用AutoLisp写出来是这样的：

1. (defun subst# (x y z)
   
2.   (cond
   
3.     ((atom z)
   
4.      (cond ((eq z y) x)
   
5.      (t z)
   
6.      )
   
7.     )
   
8.     (t
   
9.      (cons (subst# x y (car z))
   
10.      (subst# x y (cdr z))
    
11.      )
    
12.     )
    
13.   )
    
14. )
    

(defun subst# (x y z)<br />   (cond<br />     ((atom z)<br />      (cond ((eq z y) x)<br />      (t z)<br />      )<br />     )<br />     (t<br />      (cons (subst# x y (car z))<br />      (subst# x y (cdr z))<br />      )<br />     )<br />   )<br /> )<br />

zxq0220

label是什么函数？这个好象是对话框中的东东。

夏生生

非alisp:):loveliness:

fkyourmather

ll_j 发表于 2013-5-19 22:07
这是其他分支Lisp的表达形式，用AutoLisp写出来是这样的：

有注释吗？？

zxq0220

2. (defun subst# (x y z)           ;定义函数subst#，有三个参数
   
3.   (cond                         ;比较……
   
4.     ((atom z)                   ; 如果z为原子
   
5.      (cond ((eq z y) x)         ; 比较：如果z,y相同，返回x
   
6.      (t z)                      ;       否则返回z
   
7.      )
   
8.     )
   
9.     (t                          ;否则
   
10.      (cons (subst# x y (car z)) ;联接两次递归调用subst#的返回值
    
11.      (subst# x y (cdr z))       ;第二次递归调用
    
12.      )
    
13.     )
    
14.   )
    
15. )
    

(defun subst# (x y z)           ;定义函数subst#，有三个参数<br />   (cond                         ;比较……<br />     ((atom z)                   ; 如果z为原子<br />      (cond ((eq z y) x)         ; 比较：如果z,y相同，返回x<br />      (t z)                      ;       否则返回z<br />      )<br />     )<br />     (t                          ;否则<br />      (cons (subst# x y (car z)) ;联接两次递归调用subst#的返回值<br />      (subst# x y (cdr z))       ;第二次递归调用<br />      )<br />     )<br />   )<br /> )<br />