《第2章人工智能程序設(shè)計語言課件》由會員分享，可在線閱讀，更多相關(guān)《第2章人工智能程序設(shè)計語言課件（150頁珍藏版）》請在裝配圖網(wǎng)上搜索。

1、,第二級,第三級,第四級,第五級,,*,頁,*,第2章 人工智能程序設(shè)計語言,第2章 人工智能程序設(shè)計語言,,2.1 綜述,2.2 函數(shù)型程序設(shè)計語言LISP,2.3 邏輯型程序設(shè)計語言PROLOG,2.4 Turbo PROLOG程序設(shè)計,,,1,頁,第2章 人工智能程序設(shè)計語言 2.1 綜述1頁,1,2.1 綜述,2.1.1 函數(shù)型語言,LISP是一種函數(shù)型程序設(shè)計語言。LISP程序由一組函數(shù)組成，程序的執(zhí)行過程就是一系列的函數(shù)調(diào)用和求值過程。但LISP還不是純函數(shù)型語言，準確地講，它是基于λ--函數(shù)的語言。除LISP外，20世紀70年代J.Backus還提

2、出了一種稱為FP的所謂純函數(shù)型程序設(shè)計語言。但該語言現(xiàn)在還限于理論研究，實現(xiàn)上還存在一定困難。,,,2,頁,2.1 綜述 2.1.1 函數(shù)型語言2頁,2,2.1.2 邏輯型語言,邏輯型程序設(shè)計語言起源于PROLOG(PROgramminginLOGic的縮寫)。PROLOG語言首先由法國馬塞大學的Colmerauer和它的研究小組于1972年研制成功，后來在歐洲得到進一步發(fā)展。特別是1981年日本宣布要以PROLOG作為他們正在研制的新一代計算機——智能計算機的核心語言，更使PROLOG舉世矚目，迅速風靡世界。,,3,頁,2.1.2 邏輯型語言3頁,3,PROLOG語言是以

3、Horn子句邏輯為基礎(chǔ)的程序設(shè)計語言，它是目前最具代表性的一種邏輯程序設(shè)計語言。早期PROLOG版本都是解釋型的，1986年美國的Borland公司推出了編譯型PROLOG-TurboPROLOG，并很快成為PC機上流行的PROLOG?，F(xiàn)在運行在Windows環(huán)境下的可視化編程語言VisualPROLOG也已面世。但這些PROLOG語言版本屬順序邏輯程序設(shè)計語言。,,4,頁,PROLOG語言是以Horn子句邏,4,2.1.3 面向?qū)ο笳Z言,20世紀80年代以來，面向?qū)ο蟪绦蛟O(shè)計(ObjectOrientedProgramming，簡稱OOP)異軍突起，發(fā)展迅速，如今已日漸成熟，并越來越流行

4、起來。面向?qū)ο蟪绦蛞云湫畔㈦[蔽、封裝、繼承、多態(tài)、消息傳遞等一系列優(yōu)良機制，大大改善了軟件的復雜性、模塊性、重用性和可維護性，有望從根本上解決軟件的生產(chǎn)效率問題。另一方面，由于面向?qū)ο蟪绦蛟O(shè)計的類、對象、繼承等概念，與人工智能特別是知識表示和知識庫產(chǎn)生了天然的聯(lián)系。,,5,頁,2.1.3 面向?qū)ο笳Z言5頁,5,因而，現(xiàn)在面向?qū)ο蟪绦蛟O(shè)計語言也成為一種人工智能程序設(shè)計語言，面向?qū)ο蟪绦蛟O(shè)計也被廣泛引入人工智能程序設(shè)計，特別是知識工程、專家系統(tǒng)程序設(shè)計。面向?qū)ο蟪绦蛟O(shè)計語言也種類繁多，已發(fā)展成為一個大家族。其中最純正、最具面向?qū)ο箫L格的語言當推Smalltalk，而最流行的OOP語言是C++，J

5、ava則是適于網(wǎng)絡(luò)(Internet)環(huán)境的一種面向?qū)ο笳Z言。,,,6,頁,因而，現(xiàn)在面向?qū)ο蟪绦蛟O(shè)計語言也成為,6,2.1.4 混合型語言,以上三種語言都各有所長，但也都有其不足之處。為了揚長避短，于是便出現(xiàn)了基于這三種語言的混合型語言。,1. 函數(shù)型與邏輯型相結(jié)合的語言,函數(shù)型與邏輯型語言的結(jié)合方式有耦合型和統(tǒng)一型兩類。統(tǒng)一型又可分為具有歸結(jié)語義的函數(shù)型語言和集成式語言兩個子類。,,,7,頁,2.1.4 混合型語言7頁,7,2. 函數(shù)型與面向?qū)ο笙嘟Y(jié)合的語言,在LISP語言的基礎(chǔ)上再擴充面向?qū)ο髾C制而產(chǎn)生的語言，稱為函數(shù)型的面向?qū)ο蟪绦蛟O(shè)計語言(亦稱為面向?qū)ο蟮腖ISP)。,3. 邏輯

6、型與面向?qū)ο笙嘟Y(jié)合的語言,,,8,頁,2. 函數(shù)型與面向?qū)ο笙嘟Y(jié)合的語言8,8,2.2 函數(shù)型程序設(shè)計語言LISP,LISP語言的主要特點是：,(1) LISP程序由一組函數(shù)組成，程序的執(zhí)行過程是函數(shù)的調(diào)用過程。,(2) 程序和數(shù)據(jù)在形式上是相同的，即都是符號表達式，簡稱為S─表達式。,(3) 遞歸是LISP語言的主要控制結(jié)構(gòu)。,(4) 程序以交互方式運行。,,,9,頁,2.2 函數(shù)型程序設(shè)計語言LISP,9,2.2.1 LISP的程序結(jié)構(gòu)與運行機制,LISP的程序一般由函數(shù)的定義和函數(shù)的調(diào)用兩部分組成。其一般格式為：,(DEFUN(()),((〖WB〗)),…,(())),(),(),

7、…,(),,,10,頁,2.2.1 LISP的程序結(jié)構(gòu)與運行機制 10頁,10,其中的“DEFUN”是定義函數(shù)的關(guān)鍵字，“函數(shù)名”可以是系統(tǒng)的內(nèi)部函數(shù)(名)，也可以是用戶用DEFUN定義的函數(shù)(名)。例如下面就是一個LISP程序。,(DEFUNHANOI(a b c n),(COND((=n1)(MOVE-DISK a c)),(T(HANOI a c b(-n1)),(MOVE-DISK a c),(HANOI b a c(-n1)))),,,,11,頁,其中的“DEFUN”是定義函數(shù)的關(guān)鍵,11,(DEFUNMOVE-DISK(from to),(TERPRI),(PRINC″Move

8、 Disk From″),(PRINC from),(PRINC"To"),(PRINC to)),,(HANOI′a′b′c3),,,12,頁,(DEFUNMOVE-DISK(from to)12頁,12,2.2.2 S─表達式,從語法上看，LISP程序的基本單位是S─表達式。S─表達式又可分為原子和表兩大類。,原子(atom)是由字母和數(shù)字組成的字符串，是S─表達式的最簡單情況。原子又可分為文字原子、串原子和數(shù)字原子三種。,文字原子又稱符號（symbol），是以字母開頭的字母數(shù)字串，用來表示常量、變量和函數(shù)的名字等。例如：ABC、X1等。,,,13,頁,2.2.2 S─表達式13頁,1

9、3,串原子是由雙引號括起來的一串字符。如"LISP Program"。,數(shù)字原子由數(shù)字串組成。在其前面可以有符號“-”或“+”，中間可出現(xiàn)“.”，用來表示整數(shù)和實數(shù)。例如：256、-66、3.14159等。,,14,頁,串原子是由雙引號括起來的一串字符。如,14,S─表達式可以遞歸定義如下：,(1) 原子是S─表達式。,(2) 若S1和S2是S─表達式，則(S1·S2)也是S─表達式。由定義，下面的式子都是S─表達式：,X2,123,(A·B),(A·(B·C)),,,15,頁,S─表達式可以遞歸定義如下：15頁,15,表(list)是LISP語言中最常用的數(shù)據(jù)類型，也是主要的處理對象。表是由

10、圓括號括起來的由空格分開的若干個元素的集合。,表的一般形式為：,(…),,16,頁,表(list)是LISP語言中最常用,16,例如：,(X Y Z),(+12),(A (B C)),左括號后面的第一個元素稱為表頭，其余的元素組成的表稱為表尾。例如，對于表,(+12)的頭為+，尾為(12)。,特別地，元素個數(shù)為零的表為空表，記為()或NIL。,表是一種特殊的S─表達式，每一個表都對應(yīng)著一個S─表達式。二者的關(guān)系由下面的例子說明。,,,17,頁,例如：17頁,17,表←————————————→S -表達式,(A) (A·NIL

11、),(AB) (A·(B·NIL)),(ABC) (A·(B·(C·NIL))),((AB)CD) ((A·(B·NIL))·(C·(D·NIL))),可以看出，表的S─表達式的結(jié)構(gòu)實際是一棵二叉樹。,,18,頁,表←————————————→S -表達,18,2.2.3 基本函數(shù),LISP的函數(shù)都以表的形式出現(xiàn)，并一律使用前綴表示方式，即表頭為函數(shù)名，并且每個函數(shù)都有一個返回值。LISP的函數(shù)可分為語言自身提供的內(nèi)部函數(shù)(稱為基本函

12、數(shù)或系統(tǒng)函數(shù))和用戶自定義函數(shù)兩類?；竞瘮?shù)的種類有十多個，下面僅給出其中主要的幾類。,1. 表處理函數(shù),表處理是LISP的主要特色，表處理的函數(shù)也很多，下面僅給出最常用的幾個。,,,,19,頁,2.2.3 基本函數(shù)19頁,19,1) CAR函數(shù),格式(CAR),其中CAR為函數(shù)名，它是一個保留字（下同）。,功能取出表中的表頭。,例如：(CAR′(LISP Language Program)),返回值為：LISP,,,20,頁,1) CAR函數(shù)20頁,20,2) CDR函數(shù),格式(CDR),功能取出表中的表尾。,例如：(CDR′(LISP Language Program)),返回值為：(

13、Language Program),3) CONS函數(shù),格式(CONS),功能將S─表達式作為一個元素加到表中去，并作為所構(gòu)成新表中的第一個元素。,例如：(CONS′My′(LISP Language Program)),返回值為：(My LISP Language Program),,21,頁,2) CDR函數(shù)21頁,21,4) APPEND函數(shù),格式 (APPEND<表,1,><表,2,>…<表,n,>),功能 將n個表中的元素合并成一個新表。,例如：(APPEND′(TIGER LION)′(DOG CAT)),返回值為：(TIGER LION DOG CAT),,,22,頁,4) A

14、PPEND函數(shù)22頁,22,5) LIST函數(shù),格式(LIST…),功能把n個S─表達式作為元素括在一起構(gòu)成一張新表。,例如：(LIST′YELLOW′RED′BLUE),返回值為：(YELLOW RED BLUE),,23,頁,5) LIST函數(shù)23頁,23,2.算術(shù)函數(shù),LISP的算術(shù)表達式也是用函數(shù)表示的，稱為算術(shù)函數(shù)。下面我們僅舉例說明。,(+25),表示2+5，返回值為7。,(-(*48)(/105))表示4×8-10/5，返回值為30。,,,24,頁,2.算術(shù)函數(shù)24頁,24,3. 求值與賦值函數(shù),在上面的函數(shù)中多次出現(xiàn)撇號′，它的意思是禁止求值。為什么要禁止求值呢？原來，L

15、ISP總是試圖對一切S─表達式求值。表的值是通過函數(shù)運算而得到的，原子的值則是通過賦值函數(shù)實現(xiàn)的。撇號′也是一個函數(shù)，它實際是禁止求值函數(shù)QUOTE的簡寫形式。,賦值函數(shù)有多個，其中SET函數(shù)是一個最基本的賦值函數(shù)。,,,25,頁,3. 求值與賦值函數(shù)25頁,25,格式(SET),功能把S─表達式賦給變量。,例如：,(SET′X′8); X 得到值8,(SET′Y′(a b c)); Y 得到值(a b c),(SET′Z(CDRY); Z 得到值(b c),另外，賦值函數(shù)還有SETQ、SETF

16、(COMMON LISP)，其功能是類似的。,,26,頁,格式(SET),26,4. 謂詞函數(shù),返回值為邏輯值真或假的函數(shù)稱為謂詞函數(shù)，簡稱謂詞。LISP中真和假分別用T和NIL表示，當函數(shù)的返回值為非NIL時，也表示為真。另外，NIL也表示空表。謂詞函數(shù)也有多個，下面我們僅給出常用的幾個。,,,,27,頁,4. 謂詞函數(shù)27頁,27,(1) 原子謂詞ATOM,格式 (ATOM),功能檢測其參數(shù)是否為原子，是則返回T，否則返回NIL。,例如：,(ATOM′a);返回T,(ATOM′(a b));返回NIL,,,28,頁,(1) 原子謂詞ATOM28頁,28,(2) 相等謂詞EQUAL,格式(E

17、QUAL),功能判斷兩個參數(shù)是否邏輯相等。,例如：,(EQUAL′a′a); 返回T,(EQUAL′(a b)′(ac)); 返回NIL,(EQUAL′(a b)(CONS′a′(b))); 返回T,還有一種相等謂詞，其格式為：(EQ)，但它只是用來判斷兩個原子是否相等。例如：(EQ′a′a)，則返回T,,29,頁,(2) 相等謂詞EQUAL29頁,29,(3)判空表函數(shù)NULL,格式(NULL),功能判斷參數(shù)是否為空表，是則返回T，否則返回NIL。,,30,頁,(3)判空表函數(shù)NULL3

18、0頁,30,5.條件函數(shù),條件函數(shù)也稱分支函數(shù)，類似于其他語言中的分支語句，其作用是控制程序的流程。,格式 (COND(P,1,e,1,),(P,2,e,2,), …,(P,n,e,n,)),其中P,i,(i=1,...,n)為謂詞，e,i,(i=1,...,n)為一個或多個S─表達式。,,,31,頁,5.條件函數(shù)31頁,31,功能如果P,1,為真，則COND函數(shù)的值為e,1,(當e,1,為多個S─表達式時，取最后一個S─表達式的值，下同)。否則，判斷P,2,，……直到某個P,i,真為止，然后將對應(yīng)的e,i,作為函數(shù)值。若沒有一個P,i,的值為非NIL，則COND的返回

19、值為NIL。特別地，P,i,也可以為邏輯常量T，這時則對其對應(yīng)的各表達式求值，并把最后一個表達式的值作為COND的返回值。,,,32,頁,功能如果P1為真，則COND函數(shù)的,32,例如：,(COND((NULL x)0),((ATOM x)1),((LISTP x)(LENGTH x))),其語義是，若x的值為NIL，則COND的返回值為0;若x為原子，則COND的返回值為1;若x的值為表，則COND的返回值為表的長度。,,33,頁,例如：33頁,33,2.2.4 自定義函數(shù),基本函數(shù)是LISP提供的基本處理功能，要用LISP編程解決實際問題，僅有基本函數(shù)還是不夠的，用戶還必須根據(jù)問題的需

20、要，利用基本函數(shù)自定義所需的函數(shù)。,自定義函數(shù)的格式為：,(DEFUN(),),,,34,頁,2.2.4 自定義函數(shù)34頁,34,其中函數(shù)體，又可能是用戶自定義的函數(shù)或LISP基本函數(shù)的某種組合。所以，一般來講，LISP自定義函數(shù)就是由其基本函數(shù)組合而成的。常用的組合方法有復和、分支、遞歸、迭代等。其中最具特色的構(gòu)造方法是遞歸。,,,35,頁,其中函數(shù)體，又可能是用戶自定義的函數(shù),35,例2.1 定義求N!的LISP函數(shù)。,階乘的公式是,n!＝n×(n-1)!,1!＝1,0!＝1,由此我們給出其LISP函數(shù)如下：,(DEFUNN!(n),(COND((=n 0)1),((=n 1)1),

21、(T(* n(N!(- n 1)))))),,,36,頁,例2.1 定義求N!的LISP函數(shù)。36頁,36,可以看出，該函數(shù)的最后一行中又調(diào)用了它自己。所以，這個函數(shù)N!是遞歸定義的。,需說明的是，一個函數(shù)是否能遞歸定義，要取決于以下兩條：,(1)函數(shù)的求值存在最簡的情形，在這種情形下函數(shù)值是顯然的或已知的；,(2)該函數(shù)對于其參數(shù)的求值，可以歸結(jié)為對另一些參數(shù)的求值，而且后者比前者更容易求值，即使問題朝最簡情形逼近了一步。,,37,頁,可以看出，該函數(shù)的最后一行中又調(diào)用了,37,2.2.5 程序舉例,例2.2 符號微分程序。,這里是指數(shù)學上的一元函數(shù)求導。我們用D(ex)表示數(shù)學上的de

22、/dx,這里e為需求導的函數(shù)表達式，x為自變量。程序如下：,(DEFUND(ex),(COND((ATOM e)(IF(Eq e x)1 0)),(T(APPLY(D-RULE(CAR e)),(APPEND(CDR e)),(LIST x))))),,,38,頁,2.2.5 程序舉例38頁,38,其中D-RULE是一個獲取給定操作符的微分規(guī)則的LISP函數(shù)。微分規(guī)則的存放，是通過為相應(yīng)操作符建立d特性的方法完成的。D-RULE的定義為,(DEFUN D-RULE(operator),(GET operator′d)),其中操作符d的特性值需事先用SETF函數(shù)建立好。例如對于操作符加＋和乘

23、·，在數(shù)學上有,d(u＋v)/dx＝du/dx＋dv/dx,d(u·v)/dx＝v·du/dx＋u·dv/dx ,,39,頁,其中D-RULE是一個獲取給定操作符,39,用LISP表示就是,(SETF(GET′+′D)′(LAMBDA(u v,x)′(+,(Dux),(D v x)))),(SETF(GET′*′D)′(LAMBDA(u v,x)′(+(*,(Dux),v)(*,(D v x),u))))),,,40,頁,用LISP表示就是40頁,40,有了這些函數(shù)，我們就可以用機器求符號微分了。例如，給出如下的函數(shù)調(diào)用(D′(+(*2x)(*x x))′x);即求一元函數(shù)2x+x2關(guān)于

24、x的導函數(shù)則得到返回值為,(+(+(* 0 x)(* 1 2))(+(* 1 x)(*1 x))),即2+2x，結(jié)果正確。,,,41,頁,有了這些函數(shù)，我們就可以用機器求符號,41,由于篇幅所限，上面我們對LISP語言僅做了簡要介紹。需進一步學習的讀者，可參閱有關(guān)專門著作。實際上，以此為入門和基礎(chǔ)，讀者就可以參照某一具體的LISP語言資料，進行LISP程序設(shè)計了。經(jīng)過30多年的發(fā)展，LISP的方言和版本也很多。目前比較流行的有INTERLISP、MACLISP、COMMONLISP。其中COMMONLISP將成為一種標準，以統(tǒng)一各種LISP方言。,,42,頁,由于篇幅所限，上面我們對LISP

25、語言,42,2.3 邏輯型程序設(shè)計語言PROLOG,,2.3.1 PROLOG的語句,PROLOG語言只有三種語句，分別稱為事實、規(guī)則和問題。,1.事實(fact),格式().,其中謂詞名是以小寫英文字母打頭的字母、數(shù)字、下劃線等組成的字符串，項表是以逗號隔開的項序列。,,43,頁,2.3 邏輯型程序設(shè)計語言PROLOG 2.3.,43,,PROLOG中的項包括由常量或變量表示的簡單對象以及函數(shù)、結(jié)構(gòu)和表等,即事實的形式是一個原子謂詞公式。,,例如：,student(john).,like( mary ,music).,就是PROLOG中的兩個合法事實。,,,44,頁,PRO

26、LOG中的項包括由常量或變量表示的簡單對象以及,44,功能 一般表示對象的性質(zhì)或關(guān)系。,例如上面的兩個事實就分別表示“約翰是學生”和“瑪麗喜歡音樂”。,作為特殊情形，一個事實也可以只有謂詞名而無參量。,例如：,abc.,repeat.,等也是允許的。,,45,頁,功能 一般表示對象的性質(zhì)或關(guān)系。,45,2. 規(guī)則(rule),格式():-(){,()}.,其中“:-”號表示“if”（也可以直接寫為if），其左部的謂詞是規(guī)則的結(jié)論（亦稱為頭），右部的謂詞是規(guī)則的前提（亦稱為體），{}表示零次或多次重復，逗號表示and(邏輯與),即規(guī)則的形式是一個邏輯蘊含式。,,,46,頁,2. 規(guī)則(ru

27、le)46頁,46,例如：,bird(X):-animal(X),has(X,feather).,grandfather(X,Y):-father(X,Z),father(Z,Y).,就是PROLOG的合法規(guī)則。,,47,頁,例如：47頁,47,功能一般表示對象間的因果關(guān)系、蘊含關(guān)系或?qū)?yīng)關(guān)系。,例如，上面的第一條規(guī)則就表示“如果X是動物，并且X有羽毛，則X是鳥”；第二條規(guī)則就表示“X是Y的祖父，如果存在Z，X是Z的父親并且Z又是Y的父親”。作為特殊情形，規(guī)則中的謂詞也可以只有謂詞名而無參量。,例如：,run:-start,step1(X),step2(X),end.,也是一個合法規(guī)則。,

28、,48,頁,功能一般表示對象間的因果關(guān)系、蘊含關(guān),48,3.問題(question),格式?-(){,()}.,例如：,?-student(john).,?-like(mary,X).,就是兩個合法的問題。,功能 問題表示用戶的詢問，它就是程序運行的目標。,,,49,頁,3.問題(question)49頁,49,,2.3.2 PROLOG程序,PROLOG程序一般由一組事實、規(guī)則和問題組成。問題是程序執(zhí)行的起點，稱為程序的目標。,例如下面就是一個PROLOG程序。,likes(bell,sports).,likes(mary,music).,likes(mary,sports).,like

29、s(jane ,smith).,friend(john,X):-likes(X,reading),likes(X,music).,friend(john,X):-likes(X,sports),likes(X,music).,?-friend(john,Y).,,50,頁,2.3.2 PROLOG程序50頁,50,可以看出，這個程序中有四條事實、兩條規(guī)則和一個問題。其中事實、規(guī)則和問題都分行書寫。規(guī)則和事實可連續(xù)排列在一起，其順序可隨意安排，但同一謂詞名的事實或規(guī)則必須集中排列在一起。問題不能與規(guī)則及事實排在一起，它作為程序的目標要么單獨列出，要么在程序運行時臨時給出。,,51,頁,可以看出，

30、這個程序中有四條事實、兩條,51,這個程序的事實描述了一些對象（包括人和事物）間的關(guān)系；而規(guī)則則描述了john交朋友的條件，即如果一個人喜歡讀書并且喜歡音樂（或者喜歡運動和喜歡音樂），則這個人就是john的朋友（當然，這個規(guī)則也可看作是john朋友的定義）；程序中的問題是“約翰的朋友是誰？”,當然，PROLOG程序中的目標可以變化，也可以含有多個語句(上例中只有一個)。如果有多個語句，則這些語句稱為子目標。例如對上面的程序，其問題也可以是,,,52,頁,這個程序的事實描述了一些對象（包括人,52,?-likes(mary,X).,或,?-likes(mary,music).,或,?-fri

31、end(X,Y).,或,?-likes(bell,sports),,likes(mary,music),,friend(john,X).,等等。當然，對于不同的問題，程序運行的結(jié)果一般是不一樣的。,,53,頁,?-likes(mary,X).53,53,2.3.3 PROLOG程序的運行機理,既然PROLOG程序是基于Horn子句的邏輯程序，那么其運行機理自然就是基于歸結(jié)原理的演繹推理（歸結(jié)原理將在第3章介紹）。下面我們就來看PROLOG程序是怎樣運行的。,PROLOG程序的運行是從目標出發(fā)，并不斷進行匹配、合一、歸結(jié)，有時還要回溯，直到目標被完全滿足或不能滿足時為止。那么，什么是匹配

32、、合一和回溯呢？下面我們就先介紹這幾個概念。,,,54,頁,2.3.3 PROLOG程序的運行機理54頁,54,1. 自由變量與約束變量,PROLOG中稱無值的變量為自由變量，有值的變量為約束變量。一個變量取了某值就說該變量約束于某值，或者說該變量被某值所約束，或者說該變量被某值實例化了。,,,55,頁,1. 自由變量與約束變量55頁,55,2. 匹配合一,兩個謂詞可匹配合一，是指兩個謂詞的名相同，參量項的個數(shù)相同，參量類型對應(yīng)相同，并且對應(yīng)參量項還滿足下列條件之一：,(1)如果兩個都是常量，則必須完全相同。,(2)如果兩個都是約束變量，則兩個約束值必須相同。,(3)如果其中一個是常量，一個

33、是約束變量，則約束值與常量必須相同。,(4)至少有一個是自由變量。,,,56,頁,2. 匹配合一56頁,56,例如：下面的兩個謂詞,pre1("ob1","ob2",Z),pre1("ob1",X,Y),只有當變量X被約束為"ob2"，且Y、Z的約束值相同或者至少有一個是自由變量時，它們才是匹配合一的。,,57,頁,例如：下面的兩個謂詞57頁,57,3. 回溯,所謂回溯，就是在程序運行期間，當某一個子目標不能滿足（即謂詞匹配失敗）時，控制就返回到前一個已經(jīng)滿足的子目標（如果存在的話），并撤消其有關(guān)變量的約束值，然后再使其重新滿足。成功后，再繼續(xù)滿足原子目標。如果失敗的子目標前再無子目標，則控

34、制就返回到該子目標的上一級目標（即該子目標謂詞所在規(guī)則的頭部）使它重新匹配?；厮菀彩荘ROLOG的一個重要機制。,,,58,頁,3. 回溯58頁,58,下面，我們介紹PROLOG程序的運行過程。我們?nèi)砸陨厦娴某绦驗槔?。設(shè)所給的詢問是,?-friend(john,Y).(john和誰是朋友?),則求解目標為,friend(john,Y).,這時，系統(tǒng)對程序進行掃描，尋找能與目標謂詞匹配合一的事實或規(guī)則頭部。顯然，程序中前面的四條事實均不能與目標匹配，而第五個語句的左端即規(guī)則,,,59,頁,下面，我們介紹PROLOG程序的運行,59,friend(john,X):-likes(X,readin

35、g),likes(X,music).,的頭部可與目標謂詞匹配合一。但由于這個語句又是一個規(guī)則，所以其結(jié)論要成立則必須其前提全部成立。于是，對原目標的求解就轉(zhuǎn)化為對新目標,likes(X,reading),likes(X,music).,的求解。這實際是經(jīng)歸結(jié)，規(guī)則頭部被消去，而目標子句變?yōu)??-likes(X,reading),likes(X,music).,現(xiàn)在依次對子目標,likes(X,reading)和likes(X,music),求解。,,60,頁,friend(john,X):-like,60,子目標的求解過程與主目標完全一樣，也是從頭對程序進行掃描，不斷進行測試和匹配合一

36、等，直到匹配成功或掃描完整個程序為止?？梢钥闯?，對第一個子目標like(X,reading)的求解因無可匹配的事實和規(guī)則而立即失敗，進而導致規(guī)則,friend(john,X):-likes(X,reading),likes(X,music).,的整體失敗。于是，剛才的子目標,likes(X,reading)和likes(X,music),,61,頁,子目標的求解過程與主目標完全一樣，,61,被撤消，系統(tǒng)又回溯到原目標friend(john,X)。這時，系統(tǒng)從該目標剛才的匹配語句處（即第五句）向下繼續(xù)掃描程序中的子句，試圖重新使原目標匹配，結(jié)果發(fā)現(xiàn)第六條語句的左部，即規(guī)則,friend(jo

37、hn,X):-likes(X,sports),likes(X,music).,的頭部可與目標為謂詞匹配。但由于這個語句又是一個規(guī)則，于是，這時對原目標的求解，就又轉(zhuǎn)化為依次對子目標,likes(X,sports)和likes(X,music),,,62,頁,被撤消，系統(tǒng)又回溯到原目標frien,62,的求解。這次子目標likes(X,sports)與程序中的事實立即匹配成功，且變量X被約束為bell。于是，系統(tǒng)便接著求解第二個子目標。由于變量X已被約束，所以這時第二個子目標實際上已變成了,likes(bell,music).,由于程序中不存在事實likes(bell,music)，所以該

38、目標的求解失敗。于是，系統(tǒng)就放棄這個子目標，并使變量X恢復為自由變量，然后回溯到第一個子目標，重新對它進行求解。由于系統(tǒng)已經(jīng)記住了剛才已同第一子目標謂詞匹配過的事實的位置，所以重新求解時，便從下一個事實開始測試。,,63,頁,的求解。這次子目標likes(X,sports)與,63,易見，當測試到程序中第三個事實時，第一個子目標便求解成功，且變量X被約束為mary。這樣，第二個子目標也就變成了,likes(mary,music).,再對它進行求解。這次很快成功。,由于兩個子目標都求解成功，所以，原目標friend(john,Y)也成功，且變量Y被約束為mary(由Y與X的合一關(guān)系)。于是，系

39、統(tǒng)回答： Y=mary,程序運行結(jié)束。,上面只給出了問題的一個解。如果需要和可能的話，系統(tǒng)還可把john的所有朋友都找出來。我們把上述程序的運行過程再用示意圖（圖2─1）描述如下：,,,64,頁,易見，當測試到程序中第三個事實時，第,64,圖2─1 PROLOG程序運行機理示例,,65,頁,圖2─1 PROLOG程序運行機理示例 65頁,65,上述程序的運行是一個通過推理實現(xiàn)的求值過程。我們也可以使它變?yōu)樽C明過程。,例如，把上述程序中的詢問改為,friend(john,mary),則系統(tǒng)會回答:yes,若將詢問改為：,friend(john,smith),則系統(tǒng)會回答:no,

40、,,66,頁,上述程序的運行是一個通過推理實現(xiàn)的求值,66,從上述程序的運行過程可以看出，PROLOG程序的執(zhí)行過程是一個（歸結(jié)）演繹推理過程。其特點是：推理方式為反向推理，控制策略是深度優(yōu)先，且有回溯機制。其具體實現(xiàn)方法是：匹配子句的順序是自上而下；子目標選擇順序是從左向右；（歸結(jié)后）產(chǎn)生的新子目標總是插入被消去的目標處（即目標隊列的左部）。PROLOG的這種歸結(jié)演繹方法被稱為SLD(LinearresolutionwithSelectionfunctionforDefiniteclause)歸結(jié)，或SLD反駁-消解法。SLD歸結(jié)就是PROLOG程序的運行機理，它也就是所謂的PROLOG語言

41、的過程性語義。,,,67,頁,從上述程序的運行過程可以看出，PRO,67,2.4 Turbo PROLOG程序設(shè)計,2.4.1 Turbo PROLOG的程序結(jié)構(gòu),一個完整的Turbo PROLOG(2.0版)程序一般包括常量段、領(lǐng)域段、數(shù)據(jù)庫段、謂詞段、目標段和子句段等六個部分。各段以其相應(yīng)的關(guān)鍵字constants、domains、database、predicates、goal和clauses開頭加以標識。：,,68,頁,2.4 Turbo PROLOG程序設(shè)計 2.,68,另外，在程序的首部還可以設(shè)置指示編譯程序執(zhí)行特定任務(wù)的編譯指令；在程序的任何位置都可設(shè)置

42、注解。總之，一個完整的TurboPROLOG(2.0版)程序的結(jié)構(gòu)如下,/**/,,constants,,domains,,database,,,69,頁,另外，在程序的首部還可以設(shè)置指示編譯,69,,predicates,,goal,,clauses,,,,70,頁,70頁,70,當然，一個程序不一定要包括上述所有段，但一個程序至少要有一個predicates段、clauses段和goal段。在大多數(shù)情形中，還需要一個domains段，以說明表、復合結(jié)構(gòu)及用戶自定義的域名。如若省略goal段，則可在程序運行時臨時給出，但這僅當在開發(fā)環(huán)境中運行程序時方可給出。若要生成一個獨立的可執(zhí)行文件，則在

43、程序中必須包含goal段。另一方面，一個程序也只能有一個goal段。,,,71,頁,當然，一個程序不一定要包括上述所有段,71,,例2.3 如果把上節(jié)中的程序要作為TurboPROLOG程序，則應(yīng)改寫為：,/*例子程序-1*/,DOMAINS,name=symbol,PREDICATES,likes(name,name).,friend(name,name),GOAL,friend(john,Y),write(″Y=″,Y).,,,72,頁,例2.3 如果把上節(jié)中的程序要作,72,CLAUSES,likes(bell,sports).,likes(mary,music).,likes(ma

44、ry,sports).,likes(jane,smith).,friend(john,X):-likes(X,sports),likes(X,music).,friend(john,X):-likes(X,reading),likes(X,music).,,73,頁,CLAUSES73頁,73,結(jié)合上例，我們再對上述程序結(jié)構(gòu)中的幾個主要段的內(nèi)容和作用加以說明(其余段在后面用到時再作說明)：,領(lǐng)域段該段說明程序謂詞中所有參量項所屬的領(lǐng)域。領(lǐng)域的說明可能會出現(xiàn)多層說明，直到最終說明到Turbo PROLOG的標準領(lǐng)域為止(如上例所示)。Turbo PROLOG的標準領(lǐng)域即標準數(shù)據(jù)類型，包括整數(shù)、實

45、數(shù)、符號、串和符號等，其具體說明如表2.1所示。,,,74,頁,結(jié)合上例，我們再對上述程序結(jié)構(gòu)中的幾,74,表2.1 Turbo PROLOG的標準領(lǐng)域,,75,頁,表2.1 Turbo PROLOG的標準領(lǐng)域 75頁,75,謂詞段該段說明程序中用到的謂詞的名和參量項的名(但Turbo PROLOG的內(nèi)部謂詞無須說明)。,子句段該段是Turbo PROLOG程序的核心，程序中的所有事實和規(guī)則就放在這里，系統(tǒng)在試圖滿足程序的目標時就對它們進行操作。,,,76,頁,謂詞段該段說明程序中用到的謂詞的名和,76,,目標段,該段是放置程序目標的地方。目標段可以只有一個目標謂詞，例如上面的例子中就只有一個

46、目標謂詞；也可以含有多個目標謂詞，如：,goal,readint(X),Y=X+3,write("Y=",Y).,就有三個目標謂詞。這種目標稱為復合目標。,另外，一般稱程序目標段中的目標為內(nèi)部目標，而稱在程序運行時臨時給出的目標為外部目標。,,77,頁,目標段 該段是放置程序目標的地方。目,77,2.4.2 Turbo PROLOG的數(shù)據(jù)與表達式,1.領(lǐng)域,1)標準領(lǐng)域,Turbo PROLOG中不定義變量的類型，只說明謂詞中各個項的取值域。,2)結(jié)構(gòu),結(jié)構(gòu)也稱復合對象，它是TurboPROLOG謂詞中的一種特殊的參量項（類似于謂詞邏輯中的函數(shù)）。,,78,頁,2.4.2 Turbo P

47、ROLOG的數(shù)據(jù)與表達式78,78,結(jié)構(gòu)的一般形式為,(),其中函子及參量的標識符與謂詞相同。注意，這意味著結(jié)構(gòu)中還可包含結(jié)構(gòu)。所以，復合對象可表達樹形數(shù)據(jù)結(jié)構(gòu)。例如下面的謂詞,likes(Tom,sports(football,basketball,table-tennis)).,中的,sports(football,basketball,table-tennis),就是一個結(jié)構(gòu),即復合對象。,,79,頁,結(jié)構(gòu)的一般形式為79頁,79,又如：,person("張華",student("西安石油學院"),address("中國","陜西","西安")).,reading("王宏",boo

48、k("人工智能技術(shù)基礎(chǔ)教程","西安電子科技大學出版社")).,friend(father("Li"),father("Zhao")).,這幾個謂詞中都有復合對象。,,80,頁,又如：80頁,80,復合對象在程序中的說明，需分層進行。例如，對于上面的謂詞,likes(Tom,sports(football,basketball,table-tennis)).,在程序中可說明如下：,domains,name=symbol,sy=symbol,sp=sports(sy,sy,sy),predicates,likes(name,sp),,,81,頁,復合對象在程序中的說明，需分層進行。,81,3

49、) 表,表的一般形式是,［x,1,,x,2,,…,x,n,］,其中x,i,(i=1,2,…,n)為PROLOG的項，一般要求同一個表的元素必須屬于同一領(lǐng)域。,不含任何元素的表稱為空表，記為［］。例如下面就是一些合法的表。,,82,頁,3) 表82頁,82,［1,2,3］,［apple,orange,banana,grape,cane］,［"PROLOG","MAENS","PROGRAMMING","in logic"］,［［a,b］,［c,d］,［e］］,［］,表的最大特點是其元素個數(shù)可在程序運行期間動態(tài)變化。表的元素也可以是結(jié)構(gòu)或表，且這時其元素可以屬于不同領(lǐng)域。,,83,頁,［1,2

50、,3］83頁,83,例如：,［name("Li Ming"),age(20),sex(male),address(xi an)］,［［1,2］,［3,4,5］,［6,7］］,都是合法的表。后一個例子說明，表也可以嵌套。,實際上，表是一種特殊的結(jié)構(gòu)。它是遞歸結(jié)構(gòu)的另一種表達形式。這個結(jié)構(gòu)的函數(shù)名取決于具體的PROLOG版本。這里我們就用一個圓點來表示。,,84,頁,例如：84頁,84,下面就是一些這樣的結(jié)構(gòu),及它們的表表示形式：,結(jié)構(gòu)形式 表形式,·(a,［］) ［a］,·(a,·(b,［］))

51、 ［a,b］,·(a,·(b,·(c,［］))) ［a,b,c］,,,85,頁,下面就是一些這樣的結(jié)構(gòu)85頁,85,表的說明方法是在其組成元素的說明符后加一個星號*。如：,domains,lists=string*,predicates,pl(lists),就說明謂詞pl中的項lists是一個由串string組成的表。,,86,頁,表的說明方法是在其組成元素的說明符后,86,對于由結(jié)構(gòu)組成的表，至少得分三步說明。例如對于下面謂詞p中的表,p(［name("Liming"),age(20)］),則需這樣說明:,domains,rec=seg*,s

52、eg=name(string);age(integer),predicates,p(rec),,,87,頁,對于由結(jié)構(gòu)組成的表，至少得分三步說明,87,2. 常量與變量,由上面的領(lǐng)域可知，Turbo PROLOG的常量有整數(shù)、實數(shù)、字符、串、符號、結(jié)構(gòu)、表和文件這八種數(shù)據(jù)類型。同理，Turbo PROLOG的變量也就有這八種取值。另外，變量名要求必須是以大寫字母或下劃線開頭的字母、數(shù)字和下劃線序列，或者只有一個下劃線。這后一種變量稱為無名變量。,,,88,頁,2. 常量與變量88頁,88,3. 算術(shù)表達式,Turbo PROLOG提供了五種最基本的算術(shù)運算：加、減、乘、除和取模，相應(yīng)運算符號為

53、+、-、*、/、mod。這五種運算的順序為：*、/、mod優(yōu)先于+、-。同級從左到右按順序運算，括號優(yōu)先。算術(shù)表達式的形式與數(shù)學中的形式基本一樣。例如：,數(shù)學中的算術(shù)表達式 PROLOG中的算術(shù)表達式,x+y z X+Y*Z,ab-c/d A*B-C/D,u mod v U mod V(表示求U除,以V所得的余數(shù)),

54、,,89,頁,3. 算術(shù)表達式89頁,89,即是說，Turbo PROLOG中算術(shù)表達式采用通常數(shù)學中使用的中綴形式。這種算術(shù)表達式為PROLOG的一種異體結(jié)構(gòu)，若以PROLOG的結(jié)構(gòu)形式來表示，則它們應(yīng)為,+(X,*(Y,Z)),-(*(A,B),/(C,D)),mod(U,V),所以，運算符+、-、*、/和mod實際也就是PROLOG內(nèi)部定義好了的函數(shù)符。,,,90,頁,即是說，Turbo PROLOG中,90,在Turbo PROLOG程序中，如果一個算術(shù)表達式中的變元全部被實例化（即被約束）的話，則這個算術(shù)表達式的值就會被求出。求出的值可用來實例化某變量，也可用來同其他數(shù)量進行比較，

55、用一個算術(shù)表達式的值實例化一個變量的方法是用謂詞“is”或“=”來實現(xiàn)。例如：,Y is X+5,或,Y=X+5 (*),,91,頁,在Turbo PROLOG程序中，,91,就使變量Y實例化為X+5的值(當然X也必須經(jīng)已被某值實例化)，可以看出，這里對變量Y的實例化方法類似于其他高級程序語言中的“賦值”，但又不同于賦值。例如，在PROLOG中下面的式子是錯誤的:,X=X+1,,,92,頁,就使變量Y實例化為X+5的值(當然X,92,4. 關(guān)系表達式,Turbo PROLOG提供了六種常用的關(guān)系運算，即小于、小于或等于、等于、大于、大于或等于和不等于，其運算符依次為,,

56、>=,,Turbo PROLOG的關(guān)系表達式的形式和數(shù)學中的也基本一樣，例如：,數(shù)學中的關(guān)系式 Turbo PROLOG中的關(guān)系式,X+1≥Y X+1>=Y,X≠Y XY,,,93,頁,4. 關(guān)系表達式93頁,93,即是說，Turbo PROLOG中的關(guān)系式也用中綴形式。當然，這種關(guān)系式為Turbo PROLOG中的異體原子。若按Turbo PROLOG中的原子形式來表示，則上面的兩個例子為,>=(X+1,Y)和(

57、X,Y),所以上述六種關(guān)系運算符，實際上也就是Turbo PROLOG內(nèi)部定義好了的六個謂詞。這六個關(guān)系運算符可用來比較兩個算術(shù)表達式的大小。,,94,頁,即是說，Turbo PROLOG中的,94,所以上述六種關(guān)系運算符，實際上也就是Turbo PROLOG內(nèi)部定義好了的六個謂詞。這六個關(guān)系運算符可用來比較兩個算術(shù)表達式的大小。例如：,brother(Name1,Name2):-person(Name1,man,Age1),,person(Name2,man,Age2),,mother(Z,Name1),mother(Z,Name2),,Age1>Age2.,需要說明的是，“=”的用法比較特

58、殊，它既可以表示比較，也可以表示約束值，即使在同一個規(guī)則中的同一個“=”也是如此。,,95,頁,所以上述六種關(guān)系運算符，實際上也就是,95,例如：,p(X,Y,Z):-Z=X+Y.,當變量X、Y、Z全部被實例化時，“=”就是比較符。如：對于問題,Goal:p(3,5,8).,機器回答：yes。而對于,Goal:p(3,5,7).,機器回答：no。,即這時機器把X+Y的值，與Z的值進行比較。,,96,頁,例如：96頁,96,但當X,Y被實例化，為Z未被實例化時，“=”,號就是約束符。如：,Goal:p(3,5,Z).,機器回答：Z=8,這時，機器使Z實例化為X+Y的結(jié)果。,,,97,頁,

59、但當X,Y被實例化，為Z未被實例化時，“=”97頁,97,2.4.3 輸入與輸出,雖然PROLOG能自動輸出目標子句中的變量的值，但這種輸出功能必定有限，往往不能滿足實際需要；另一方面，對通常大多數(shù)的程序來說，運行時從鍵盤上輸入有關(guān)數(shù)據(jù)或信息也是必不可少的。為此每種具體PROLOG一般都提供專門的輸入和輸出謂詞，供用戶直接調(diào)用。例如，下面就是TorboPROLOG的幾種輸入輸出謂詞：,,98,頁,2.4.3 輸入與輸出98頁,98,(1) readln (X)。,這個謂詞的功能是從鍵盤上讀取一個字符串，然后約束給變量X。,(2) readint (X)。,這個謂詞的功能是從鍵盤上讀取一個整

60、數(shù)，然后約束給變量X，如果鍵盤上打入的不是整數(shù)則該謂詞失敗。,(3) readreal (X)。,這個謂詞的功能是從鍵盤上讀取一個實數(shù)，然后約束給變量X，如果鍵盤上打入的不是實數(shù)則該謂詞失敗。,,,,99,頁,(1) readln (X)。99頁,99,(4) readchar(X)。,這個謂詞的功能是從鍵盤上讀取一個字符，然后約束給變量X，如果鍵盤上打入的不是單個字符，則該謂詞失敗。,(5) write(X,1,,X,2,,…　X,n,)。,這個謂詞的功能是把項X,i,(i=1,2,…n)的值顯示在屏幕上或者打印在紙上，當有某個X,i,未實例化時，該謂詞失敗，其中的X,i,可以是變量，也可以

61、是字符串或數(shù)字。,,100,頁,(4) readchar(X)。10,100,(6) nl換行謂詞。它使后面的輸出(如果有的話)另起一行。另外，利用write的輸出項"\n"也同樣可起換行作用。例如：,write("name"), n l ,write("age"),與,write("name","\n","age"),的效果完全一樣。,,,101,頁,(6) nl換行謂詞。它使后面的輸出(,101,例2.4用上面的輸入輸出謂詞編寫一個簡單的學生成績數(shù)據(jù)庫查詢程序。,PREDICATES,student(integer,string,real),grade,GOAL,grade.,CLAU

62、SES,,,102,頁,例2.4用上面的輸入輸出謂詞編寫一個,102,student(1,"張三",90.2).,student(2,"李四",95.5).,student(3,"王五",96.4).,grade:-write("請輸入姓名:"),readln(Name),,student(-,Name,Score),,nl,write(Name,"的成績是",Score).,grade:-write(“對不起，找不到這個學生!”).,grade:-write("對不起，找不到這個學生!").,下面是程序運行時的屏幕顯示:,請輸入姓名： 王五,王五的成績是96.4。,,103,頁,stud

63、ent(1,"張三",90.2).103頁,103,2.4.4 分支與循環(huán),PROLOG中并無專門的分支和循環(huán)語句，但PROLOG也可實現(xiàn)分支和循環(huán)程序結(jié)構(gòu)。,1.分支,對于通常的IF-THEN-ELSE分支結(jié)構(gòu)，PROLOG可用兩條同頭的并列規(guī)則實現(xiàn)。例如，將,IF x>0THENx:=1,ELSE x:=0,,,104,頁,2.4.4 分支與循環(huán)104頁,104,用PROLOG實現(xiàn)則是,Br :-x>0,x=1.,Br :-x=0.,類似地，對于多分支，可以用多條規(guī)則實現(xiàn)。例如：,Br :-x>0,x=1.,Br :-x=0,x=0.,Br :-x<0,x=-1.,,,105,頁,用

64、PROLOG實現(xiàn)則是105頁,105,2.循環(huán),PROLOG可以實現(xiàn)計循環(huán)次數(shù)的FOR循環(huán)，也可以實現(xiàn)不計循環(huán)次數(shù)的DO循環(huán)。,例如下面的程序段就實現(xiàn)了循環(huán)，它使得write語句重復執(zhí)行了三次，而打印輸出了三個學生的記錄。,student(1,"張三",90.2).,student(2,"李四",95.5).,student(3,"王五",96.4).,print:-student(Number,Name,Score),,write(Number,Name,Score),n l ,,Number=3.,,,106,頁,2.循環(huán)106頁,106,這個例子可以看作是計數(shù)循環(huán)。當然，也可以通過設(shè)置計

65、數(shù)器而實現(xiàn)真正的計數(shù)循環(huán)。下面的程序段實現(xiàn)的則是不計數(shù)的DO循環(huán)。,student(1,"張三",90.2).,student(2,"李四",95.5).,student(3,"王五",96.4).,print:-student(Number,Name,Score),,write(Number,Name,Score),nl,,fail.,print:-.,,107,頁,這個例子可以看作是計數(shù)循環(huán)。當然，也,107,這個程序段中的fail是一個內(nèi)部謂詞，它的語義是恒失敗。這個程序段與上面的程序段的差別僅在于把原來用計數(shù)器（或標記數(shù)）循環(huán)控制語句變成了恒失敗謂詞fail，另外再增加了一個print

66、語句。增加這個語句的目的是為程序設(shè)置一個出口。因為fail是恒失敗，下面若無出口的話，將引起print本身的失敗。進而又會導致程序中的連鎖失敗。,,108,頁,這個程序段中的fail是一個內(nèi)部謂詞,108,2.4.5 動態(tài)數(shù)據(jù)庫,動態(tài)數(shù)據(jù)庫就是在內(nèi)存中實現(xiàn)的動態(tài)數(shù)據(jù)結(jié)構(gòu)。它由事實組成，程序可以對它操作，所以在程序運行期間它可以動態(tài)變化。Turbo PROLOG提供了三個動態(tài)數(shù)據(jù)庫操作謂詞:,asserta ().,assertz ().,retract ().,,109,頁,2.4.5 動態(tài)數(shù)據(jù)庫109頁,109,其中fact表示事實。這三個謂詞的功能是：,asserta ().把fact插入當前動態(tài)數(shù)據(jù)庫中的同名謂詞的事實之前；,assertz ().把fact插入當前動態(tài)數(shù)據(jù)庫中的同名謂詞的事實之后；,retract().把fact從當前動態(tài)數(shù)據(jù)庫中刪除。,,110,頁,其中fact表示事實。這三個謂詞的功能,110,例如語句,asserta(student(20,"李明",90.5)).,將在內(nèi)存的謂詞名為student的事實前插入一個新事實：,student(20,"李明