【正文】 ?friend(john,Y).(john和誰是朋友 ?) 則求解目標(biāo)為 friend(john,Y). 這時(shí) ， 系統(tǒng)對(duì)程序進(jìn)行掃描 ， 尋找能與目標(biāo)謂詞匹配合一的事實(shí)或規(guī)則頭部 。 顯然 ，程序中前面的四條事實(shí)均不能與目標(biāo)匹配 ，而第五個(gè)語句的左端即規(guī)則 PROLOG程序的運(yùn)行過程 2/27/2023 49 華北電力大學(xué) friend(john,X):likes(X,reading),likes(X,music). 頭部可與目標(biāo)謂詞匹配合一 。 但由于這個(gè)語句又是一個(gè)規(guī)則 ， 所以其結(jié)論要成立則必須其前提全部成立 。 于是 ， 對(duì)原目標(biāo)的求解就轉(zhuǎn)化為對(duì)新目標(biāo) likes(X,reading),likes(X,music). 的求解 。 這實(shí)際是經(jīng)歸結(jié) ， 規(guī)則頭部被消去 ， 而目標(biāo)子句變?yōu)? ?likes(X,reading),likes(X,music). 現(xiàn)在依次對(duì)子目標(biāo) likes(X,reading)和 likes(X,music) 求解 PROLOG程序的運(yùn)行過程 2/27/2023 50 華北電力大學(xué) 子目標(biāo)的求解過程與主目標(biāo)完全一樣 ， 也是從頭對(duì)程序進(jìn)行掃描 ， 不斷進(jìn)行測(cè)試和匹配合一等 ， 直到匹配成功或掃描完整個(gè)程序?yàn)橹?。 可以看出 ， 對(duì)第一個(gè)子目標(biāo) like(X,reading)的求解因無可匹配的事實(shí)和規(guī)則而立即失敗 ， 進(jìn)而導(dǎo)致規(guī)則 friend(john,X):likes(X,reading),likes(X,music).。 于是 ， 剛才的子目標(biāo) likes(X,reading)和 likes(X,music) PROLOG程序的運(yùn)行過程 2/27/2023 51 華北電力大學(xué) 被撤消 ， 系統(tǒng)又回溯到原目標(biāo) friend(john,X) 這時(shí) ， 系統(tǒng)從該目標(biāo)剛才的匹配語句處 （ 即第五句 ） 向下繼續(xù)掃描程序中的子句 ， 試圖重新使原目標(biāo)匹配 ， 結(jié)果發(fā)現(xiàn)第六條語句的左部 ， 即規(guī)則 friend(john,X):likes(X,sports),likes(X,music). 的頭部可與目標(biāo)為謂詞匹配 。 但由于這個(gè)語句又是一個(gè)規(guī)則 ， 于是 ， 這時(shí)對(duì)原目標(biāo)的求解 ， 就又轉(zhuǎn)化為依次對(duì)子目標(biāo) likes(X,sports)和 likes(X,music) PROLOG程序的運(yùn)行過程 2/27/2023 52 華北電力大學(xué) 的求解 。 這次子目標(biāo) likes(X,sports)與程序中的事實(shí)立即匹配成功 ， 且變量 X被約束為 bell。 于是 ， 系統(tǒng)便接著求解第二個(gè)子目標(biāo) 。 由于變量 X已被約束 ， 所以這時(shí)第二個(gè)子目標(biāo)實(shí)際上已變成了 likes(bell,music). 由于程序中不存在事實(shí) likes(bell,music)， 所以該目標(biāo)的求解失敗 。 于是 ， 系統(tǒng)就放棄這個(gè)子目標(biāo) ， 并使變量 X恢復(fù)為自由變量 ， 然后回溯到第一個(gè)子目標(biāo) ，重新對(duì)它進(jìn)行求解 。 由于系統(tǒng)已經(jīng)記住了剛才已同第一子目標(biāo)謂詞匹配過的事實(shí)的位置 ， 所以重新求解時(shí) ，便從下一個(gè)事實(shí)開始測(cè)試 。 PROLOG程序的運(yùn)行過程 2/27/2023 53 華北電力大學(xué) 易見 ， 當(dāng)測(cè)試到程序中第三個(gè)事實(shí)時(shí) ， 第一個(gè)子目標(biāo)便求解成功 ， 且變量 X被約束為 mary。 這樣 ， 第二個(gè)子目標(biāo)也就變成了 likes(mary,music). 再對(duì)它進(jìn)行求解 。 這次很快成功 。 由于兩個(gè)子目標(biāo)都求解成功，所以，原目標(biāo) friend(john,Y)也成功，且變量 Y被約束為 mary(由 Y與 X的合一關(guān)系 )。于是，系統(tǒng)回答： Y=mary 程序運(yùn)行結(jié)束 。 上面只給出了問題的一個(gè)解 。 如果需要和可能的話 ， 系統(tǒng)還可把 john的所有朋友都找出來 。 我們把上述程序的運(yùn)行過程再用示意圖描述如下： PROLOG程序的運(yùn)行過程 2/27/2023 54 華北電力大學(xué) 圖 PROLOG程序運(yùn)行機(jī)理示例 PROLOG程序的運(yùn)行過程 ② ① ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ 2/27/2023 55 華北電力大學(xué) 例： Hanoi塔 如圖，目的是把左邊的所有盤子移到右邊的桿子上。一次只能移動(dòng)一個(gè)盤子，你可以使用中間的桿子作為臨時(shí)存放盤子的地方。小盤子必須放在大盤子之上 2/27/2023 65 華北電力大學(xué) 例： Hanoi塔 ? 如果要移動(dòng) N個(gè)盤子，就要分三步走： 1. 把 N1個(gè)盤子移動(dòng)到中間的桿子上（把中間的桿子作為臨時(shí)存放盤子的位置） 2. 把最后一個(gè)盤子直接移到右邊的桿子上 3. 最后把中間桿子上的盤子移到右邊的桿子上（把左邊的桿子作為臨時(shí)存放盤子的位置） 2/27/2023 66 華北電力大學(xué) 例： Hanoi塔 hanoi(N):move(N,left,middle,right). move(1,A,_,C):inform(A,C),!. move(N,A,B,C):N1 is N1, move(N1,A,C,B),inform(A,C),move(N1,B,A,C). inform(Loc1, Loc2):nl, write(39。Move a disk from 39。Loc139。 to 39。Loc2). 主程序?yàn)?hanoi/1，它的參數(shù)為盤子的數(shù)目。它調(diào)用遞歸謂詞 move來完成任務(wù)。三個(gè)桿子的名字分別為 left、 middle、 right 2/27/2023 67 華北電力大學(xué) The End 2/27/2023 69 華北電力大學(xué) 演講完畢，謝謝觀看！