【正文】 章 PROLOG語(yǔ)言 2021/11/10 21 Prolog語(yǔ)言中的運(yùn)算可以是中綴形式 ， 使之簡(jiǎn)明直觀 ， 符合人們的習(xí)慣 。（ YZ））。 項(xiàng)的定義為： 項(xiàng) ∷ = 常量 | 變量 | 結(jié)構(gòu) | “ (” 項(xiàng) “ )” 每一個(gè)項(xiàng)書(shū)寫(xiě)為一個(gè)字符串。 關(guān)系中變量的個(gè)數(shù)是任意的 ， 而語(yǔ)義意義的解釋是由程序員自己確定的 。 如：如果某人是學(xué)生 ， 則 John就喜歡該人 。 編程時(shí)可以直接利用這些謂詞 ， 所以有很高的執(zhí)行效率 。 這六個(gè)關(guān)系運(yùn)算符可用來(lái)比較兩個(gè)算術(shù)表達(dá)式的大小 。 為此每種具體PROLOG一般都提供專(zhuān)門(mén)的輸入和輸出謂詞 ， 供用戶(hù)直接調(diào)用 。 這個(gè)謂詞的功能是從鍵盤(pán)上讀取一個(gè)整數(shù)，然后約束給變量 X，如果鍵盤(pán)上打入的不是整數(shù)則該謂詞失敗。 這個(gè)謂詞的功能是從鍵盤(pán)上讀取一個(gè)字符 ， 然后約束給變量 X， 如果鍵盤(pán)上打入的不是單個(gè)字符 ， 則該謂詞失敗 。 它使后面的輸出 (如果有的話 )另起一行 。 2． seeing（ X） ：如 X為變量 ， 則 X被例化為當(dāng)前輸入流；如 X已例化 ， 則X與當(dāng)前輸入流匹配時(shí) ， 目標(biāo)成功 。 6． told 關(guān)閉當(dāng)前輸出流 ， 并在文件尾加上結(jié)束標(biāo)志；置當(dāng)前輸出流為顯示器 。 含義是：作為一個(gè)目標(biāo) ， 它直接成功 ， 但當(dāng)回溯到它的時(shí)候 ， 不能重新被滿(mǎn)足 ， 并使其雙親目標(biāo)立即失敗 ， 即：穿過(guò) !的回溯是不可能的 。 謂詞 not（ X） 可用 ！ 和 fail來(lái)定義： not（ X） ：－ call（ X） ， ！ ， fail． not（ X） ． 第 6章 PROLOG語(yǔ)言 2021/11/10 36 3． X， Y 謂詞中 “ ， ” 是 “ 并且 ” 的意義 。 第 6章 PROLOG語(yǔ)言 2021/11/10 37 6． 3． 7 項(xiàng)類(lèi) 1． var（ X） ：當(dāng) X為一未例化的變量 ， var（ X） 為 True。 5． atomic(X)： 當(dāng) X為一個(gè)原子或一個(gè)整數(shù)時(shí) ， 則目標(biāo)成功 。 表示表運(yùn)算 。 ?， a， [ b， c， d ] ] 4． name（ A， L） 該謂詞表示 L由組成 A的字符 （ ASCII碼表示 ） 所構(gòu)成 。 同樣地 ， X必須是一原子 ， 它表示一文件名 。 同樣地 ， X也必須例化為一個(gè)項(xiàng) 。 第 6章 PROLOG語(yǔ)言 2021/11/10 41 6． retractall（ X） ：是刪除數(shù)據(jù)庫(kù)中所有與 X匹配 （ 頭匹配 ） 的項(xiàng) 。使用時(shí)， X必須已例化及已知規(guī)則的主要謂詞，如無(wú)該謂詞的規(guī)則，則目標(biāo)失敗；如不止一個(gè)規(guī)則滿(mǎn)足，則首先匹配第一個(gè)規(guī)則，當(dāng)重新滿(mǎn)足該目標(biāo)時(shí)，再繼續(xù)與下面的規(guī)則依次匹配。 (變量 ) (2)一個(gè)常量只能與自己匹配 (常量 ) (3)如果兩個(gè)函子一致 ， 且分量個(gè)數(shù)相等 ， 當(dāng)對(duì)應(yīng)分量均匹配的時(shí)候 ， 則這兩個(gè)結(jié)構(gòu)可以匹配 (結(jié)構(gòu) ) (4)兩個(gè)事實(shí)匹配 ， 就是他們的謂詞相同 ， 且對(duì)應(yīng)自變量相匹配 。 往下搜索 ， 又與第四個(gè)事實(shí)匹配 ， 系統(tǒng)回答 。 (2) X被例化為 swim， 再看第二個(gè)子目標(biāo) play(john,X)即 ,play(john,swim)。 (2) 再看第二個(gè)子目標(biāo) ， 由于 X被例化為 tennis， 只需要滿(mǎn)足目標(biāo) play(john,tennis)， 這時(shí)系統(tǒng)從第一個(gè)子句開(kāi)始搜索 ， 找到事實(shí) (3)， 由于第二個(gè)子目標(biāo)滿(mǎn)足了 ，所以系統(tǒng)也在 (3)處做一個(gè)標(biāo)記 ， 注意 (2)(3)處的標(biāo)記是不同的 ， 因?yàn)橄到y(tǒng)要在可與任何一個(gè)子目標(biāo)滿(mǎn)足的子句處做一個(gè)標(biāo)記 。 系統(tǒng)回答 no 回溯的搜索過(guò)程圖見(jiàn)書(shū)上 163頁(yè) 第 6章 PROLOG語(yǔ)言 2021/11/10 50 綜上所述 ， PROLOG系統(tǒng)對(duì)一個(gè)目標(biāo)進(jìn)行處理的步驟就是： (1)從左往右一次滿(mǎn)足連接中的各個(gè)子目標(biāo) (2)對(duì)任何一個(gè)子目標(biāo) ， 第一次搜索時(shí) ， 總是從知識(shí)庫(kù)的第一項(xiàng)開(kāi)始搜索 a) 如果與事實(shí)匹配 ， 則這一子目標(biāo)成功 ， 例化相應(yīng)變量 ， 設(shè)置標(biāo)記 。 play(marry,Z),play(Y,Z),diff(marry,Y).首先需要滿(mǎn)足 第一個(gè) 子目 標(biāo) play(marry,Z)， 從 頭開(kāi)始 搜索 ， 與第 一事 實(shí)play(marry,swim).匹配所以 Z被例化為 swim。 (9) 規(guī)則體中所有子目標(biāo)都成功 ， 所以本規(guī)則成功 ， 因?yàn)閱?wèn)題中的 X和規(guī)則中的 Y共享 ， 所以 X也被例化為 john， 所以系統(tǒng)給出答案 X=john 第 6章 PROLOG語(yǔ)言 2021/11/10 54 謂詞！的討論 截?cái)嘀^詞的語(yǔ)法格式很簡(jiǎn)單 ， 就是一個(gè)感嘆號(hào) “ !”。last clause39。last clause39。last clause39。 下面我們正式開(kāi)始 “ 尋找Nani”游戲的編寫(xiě) 。). room(cellar). door(office, hall). door(kitchen, office). door(hall, 39。, kitchen). 第 6章 PROLOG語(yǔ)言 2021/11/10 62 location(desk, office). location(apple, kitchen). location(flashlight, desk). location(39。). location(broccoli, kitchen). location(crackers, kitchen). location(puter, office). location(envelope, desk). location(stamp, envelope). location(key, envelope). location_s(object(candle, red, small, 1), kitchen). location_s(object(apple, red, small, 1), kitchen). location_s(object(apple, green, small, 1), kitchen). location_s(object(table, blue, big, 50), kitchen). 第 6章 PROLOG語(yǔ)言 2021/11/10 63 loc_list([apple, broccoli, crackers], kitchen). loc_list([desk, puter], office). loc_list([flashlight, envelope], desk). loc_list([stamp, key], envelope). loc_list([39。). 第 6章 PROLOG語(yǔ)言 2021/11/10 64 edible(apple). edible(crackers). tastes_yucky(broccoli). here(kitchen). where_food(X,Y) : location(X,Y), edible(X). list_things(Place) : location(X, Place), tab(2), write(X), nl, fail. list_things(_). 第 6章 PROLOG語(yǔ)言 2021/11/10 65 list_things_s(Place) : location_s(object(Thing, Color, Size, Weight),Place), write(39。), write_weight(Weight), nl, fail. list_things_s(_). 第 6章 PROLOG語(yǔ)言 2021/11/10 66 write_weight(1) : write(39。). connect(X,Y) : door(X,Y). connect(X,Y) : door(Y,X). list_connections(Place) : connect(Place, X), tab(2), write(X), nl, fail. list_connections(_). 第 6章 PROLOG語(yǔ)言 2021/11/10 67 look : here(Place), write(39。), nl, list_things(Place), write(39。39。), write(Thing), write(39。), write(Thing), write(39。), write(Thing), write(39。), nl. take(X): can_take(X), take_object(X). is_contained_in(T1,T2) : location(T1,T2). is_contained_in(T1,T2) : location(X,T2), is_contained_in(T1,X). 第 6章 PROLOG語(yǔ)言 2021/11/10 71 PROLOG語(yǔ)言與 C語(yǔ)言的連接 PROLOG語(yǔ)言是一種很適合與人工智能應(yīng)用的數(shù)據(jù)可管理的語(yǔ)言。 語(yǔ)言條件 外部 C語(yǔ)言子程序 外部謂詞說(shuō)明 兩個(gè)限制 3參數(shù)傳遞