272049844:(define (refl y z);這里有問題,refl y z是參量,你這樣定義就錯(cuò)了,仔細(xì)看看lisp語言的基本語法就明白了 V 1/p_)A ) y(iY (2013-06-17 15:47) >/=>