資源描述：
《prolog人工智能實(shí)驗(yàn)報(bào)告》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在工程資料-天天文庫(kù)。
1、華北電力大學(xué)科技學(xué)院實(shí)驗(yàn)報(bào)告賣驗(yàn)名稱PROLOG語(yǔ)言編程練習(xí)及圖搜索問(wèn)題求解學(xué)生姓名:成績(jī):實(shí)驗(yàn)日期:課程名稱專業(yè)班級(jí)：學(xué)號(hào)：指導(dǎo)教師：劉麗（實(shí)驗(yàn)報(bào)告如打印，紙張用A4,左裝訂；頁(yè)邊距：上下2.5cm,左2.9cm,右2.1cm；字體：宋體小四號(hào)，1.25倍行距。）驗(yàn)證性、綜合性實(shí)驗(yàn)報(bào)告應(yīng)含的主要內(nèi)容：一、實(shí)驗(yàn)?zāi)康募耙蠖?、所用儀器、設(shè)備三、實(shí)驗(yàn)原理四、實(shí)驗(yàn)方法與步驟五、實(shí)驗(yàn)結(jié)果與數(shù)據(jù)處理六、討論與結(jié)論（對(duì)實(shí)驗(yàn)現(xiàn)象、實(shí)驗(yàn)故障及處理方法、實(shí)驗(yàn)中存在的問(wèn)題等進(jìn)行分析和討論，對(duì)實(shí)驗(yàn)的進(jìn)一步想法或改進(jìn)意見(jiàn)）七、所附實(shí)驗(yàn)輸出的結(jié)果或數(shù)據(jù)設(shè)計(jì)性實(shí)驗(yàn)報(bào)告應(yīng)含的
2、主要內(nèi)容：一、設(shè)計(jì)要求二、選擇的方案三、所用儀器、設(shè)備四、實(shí)驗(yàn)方法與步驟五、實(shí)驗(yàn)結(jié)果與數(shù)據(jù)處理六、結(jié)論（依據(jù)“設(shè)計(jì)要求”）七、所附實(shí)驗(yàn)輸出的結(jié)果或數(shù)據(jù)*封面左側(cè)印痕處裝訂一、實(shí)驗(yàn)?zāi)康募耙?.熟悉PROLOG的運(yùn)行環(huán)境，進(jìn)行PROLOG的基木編程練習(xí)。了解PROLOG語(yǔ)言中常量、變量的表示方法。PROLOG的簡(jiǎn)單程序結(jié)構(gòu)，掌握分析問(wèn)題、詢問(wèn)解釋技巧；進(jìn)行事實(shí)庫(kù)、規(guī)則庫(kù)的編寫，并在此基礎(chǔ)上進(jìn)行簡(jiǎn)單的詢問(wèn)。具體實(shí)驗(yàn)課上相關(guān)內(nèi)容，練習(xí)exeimplel到exeimple6的內(nèi)容。2.圖搜索問(wèn)題求解。任選以下實(shí)際應(yīng)用題目：愛(ài)因斯坦的超級(jí)問(wèn)題、字謎問(wèn)題、漢
3、諾塔問(wèn)題（三選一）、八數(shù)碼問(wèn)題、八皇后問(wèn)題、農(nóng)夫過(guò)河問(wèn)題、傳教士與野人問(wèn)題（四選一），共選兩個(gè)。要求實(shí)驗(yàn)報(bào)告中包括：1.通過(guò)PROLOG的基本編程練習(xí)，說(shuō)明實(shí)驗(yàn)的方法和步驟。2.針對(duì)圖搜索要求，說(shuō)明求解的問(wèn)題與程序、程序分析、注釋、運(yùn)行結(jié)果等，在討論與結(jié)論部分說(shuō)明實(shí)驗(yàn)收獲、難點(diǎn)重點(diǎn)討論等。3.雙面打印。二、所用儀器、設(shè)備PC機(jī)和trineprolog編譯軟件三、實(shí)驗(yàn)原理PROLOG語(yǔ)言是一種以邏輯推理為基礎(chǔ)的邏輯型程序設(shè)計(jì)語(yǔ)言，是一種陳述性語(yǔ)言而不是過(guò)程性語(yǔ)言。PROLOG語(yǔ)言能夠自動(dòng)實(shí)現(xiàn)模式匹配和回溯、具備遞歸技術(shù)，而且語(yǔ)法簡(jiǎn)明，可以簡(jiǎn)化復(fù)雜問(wèn)
4、題求解。愛(ài)因斯坦的超級(jí)問(wèn)題：有五個(gè)房子，每個(gè)房子的顏色不同，里而分別住著不同國(guó)家的人，每個(gè)人都有自己養(yǎng)的不同的寵物，喜歡喝不同的飲料，抽不同牌子的煙?，F(xiàn)在已知以下的一些信息：英國(guó)人（englishman）住在紅色（red）的房子里西班牙人（Spaniard）養(yǎng)了一條狗（dog）挪威人（norwegian）住在左邊的第一個(gè)房子里黃房子（yellow）里的人段歡抽kools牌的香煙抽chesterfields牌香煙的人與養(yǎng)狐貍（fox）的人是鄰居挪威人（norwegian）住在藍(lán)色（blue）的房子旁邊抽winston牌香煙的人養(yǎng)了一只蝸牛（Sna訂
5、s）抽L(zhǎng)uckyStrike牌香煙的人喜歡喝桔子汁(orangejuice)烏克蘭人(Ukrainian)歡喝茶(tea)日本人(japanese)抽pariiaments牌的煙抽kools牌的香煙的人與養(yǎng)馬(horse)的人是鄰居喜歡喝咖啡(coffee)的人住在綠(green)房子里綠(green)房子在彖牙白(ivory)房子的右邊(圖中的右邊)屮間那個(gè)房子里的人段歡喝牛奶(milk)根據(jù)以上條件，你能告訴我哪個(gè)房子里的人養(yǎng)斑馬(zebra)，哪個(gè)房子里的人喜歡喝水(water)嗎？或者你能把所有的東西都對(duì)號(hào)入座嗎？傳教士與野人問(wèn)題：有N個(gè)
6、傳教士和N個(gè)野人來(lái)到河邊準(zhǔn)備渡河，河岸有一條船，每次至多可k人乘渡。問(wèn)傳教士為了安全起見(jiàn)，應(yīng)如何規(guī)劃擺渡方案，使得任何時(shí)刻，在河的兩岸以及船上的野人數(shù)目總是不超過(guò)傳教士的數(shù)目。即求解傳教士和野人從左岸全部擺渡到右岸的過(guò)程中，任何吋刻滿足M(傳教士數(shù))MC(野人數(shù))和M+CWk的擺渡方案。四、實(shí)驗(yàn)方法與步驟1、啟動(dòng)Windows2000以上版本操作環(huán)境。2、啟動(dòng)PROLOG集成開發(fā)環(huán)境。3、選擇F訂es/New/TextEdit項(xiàng)可以進(jìn)行源程序編輯。4、編輯結(jié)束Z后，選擇Comp訂e項(xiàng)編譯程序，并分析程序是否有語(yǔ)法或邏輯錯(cuò)誤。5、在主窗口的詢問(wèn)欄寫
7、入問(wèn)題，選擇Prove求取問(wèn)題答案。6、退出，選擇Files/Exit項(xiàng)，可以退出PROLOG編輯編譯環(huán)境，返冋到Windows環(huán)境。五、求解的問(wèn)題與程序愛(ài)因斯坦的超級(jí)問(wèn)題：實(shí)現(xiàn)的代碼如下member(X,[X
8、Tail]).member(X,[Head
9、Tail]):-member(X,Tail).color(h(C,N,P,Y,D),C).nation(h(C,N,P,Y,D),N).pet(h(C,N,P,Y,D),P).yan(h(C,N,P,Y,D),Y).drink(h(C,N,P,Y,D),D).next(A,B,[A,B,C,D,
10、E]).next(B,C,[A,B,C,D,E]).next(C,D,[A,B,C,D,E]).next(D,E,[A,B,C,D,E]
