LISP语言分析.ppt

* * * * * * * * * * (setq R (Rule4 (if (animal flies) (animal lays eggs)) (then (animal is bird)) ) ) 练习： 用second、third 、rest 等求结论。 (setq c (second (third R) ) ) (setq R (Rule4 (if (animal flies) (animal lays eggs)) (then (animal is bird)) ) ) 练习： 用second、third 、rest 等求结论。 (setq c (second (third R) ) ) 5、逻辑函数（1） (atom ‘(a b c)) nil (atom (third ‘(a b c))) t (null ‘( a b c ) ) nil (null ‘( ) ) t 5、逻辑函数（2） (equal ?(a b c) ?(a b c) ) t (equal ( ) nil ) t (equal ?(a b c) ?(a (b c)) ) nil 5、逻辑函数（3） (and (atom ?( )) (null (cdr ? (a)) ) ) ) t (or (listp ?( )) nil ) t (not (equal ( ) nil ) ) nil 6、条件函数（3） (cond (exp11 exp12 … ) (exp21 exp22 … ) (expn1 expn2 … ) ) (cond ((equal answer y) 1) ((equal answer n) -1) (t (print “Enter y or n) (ask query)) ) 7、定义函数的函数 例：定义一个求表的第二个元素的函数 (defun second ( l ) (cond ((atom l) nil) (t (cadr l)))) (second ( A (B C) D)) (B C) 例：定义前述取规则前提函数 (defun get_if (Rule) (cdadr Rule) ) 递归 例：求mn m0=1 mn=m×mn-1 (n＞0) ? (defun power_1 (m n) (cond ((= n 0) 1) (t (* m (power_1 m (- n 1)) ) ) ) ) ? 调用函数的函数：funcall (funcall ‘函数名 参数1 …… 参数n ) ? 例： (funcall + 2 3) 5 (funcall append (a b) ( ) ( c ) ) ) (a b c) * * * * * * * * * * * * * * * * * * * * * AI 1、函数型语言 程序：函数集 没有 “主函数”、 各函数可独立运行 函数：由其它函数构成（无语句概念）