自然数形式系统的实验2

 

(setq  zero  (lambda (s z) z))

(setq  one  (lambda (s z) (funcall  s z) ))

 

(setq  two  (lambda (s z) (funcall s (funcall  s z) )))

 

(setq  three  (lambda (s z) (funcall s (funcall s (funcall  s z) ))))

 

(setq  four  (lambda (s z)(funcall s (funcall s (funcall s (funcall  s z) )))))

 

(setq  five  (lambda (s z)(funcall s (funcall s (funcall s (funcall s (funcall  s z) ))))))

 

(defun chenbing (value)

 

(list  'chenbing value)

 

)

 

(funcall one 'chenbing nil)

 

(funcall two 'chenbing nil)

 

(funcall three 'chenbing nil)

 

(defun  myif (con then else)

 

(funcall con then else)

 

)

 

(defun true (u v)

 

u

 

)

 

(defun false (u v)

 

v

 

)

 

(defun wrap (f)

 

(lambda (n)

 

(cons 'false  (myif (car n) (cdr n) (funcall f (cdr n) ) ) )

 

)

 

)

 

(defun  subone (n)

 

(lambda (s z)

 

(cdr  (funcall n (wrap s ) (cons 'true z) ))

 

)

 

)  

 

(setq  test (subone five) )

 

(funcall test 'chenbing nil)

 

(defun  iszero (n)

 

(funcall n  (lambda(x) 'false) 'true)

 

)

 

(defun  sum  (n)

(myif  (iszero  n)  one  (sum  (subone  n) ) )

)

 

(setq result (sum  zero) )

(funcall  result  'chenbing  nil)