資源描述：
《PROLOG語言編程練習及圖搜索問題求解》由會員上傳分享，免費在線閱讀，更多相關內容在行業(yè)資料-天天文庫。
1、華北電力大學科技學院實驗報告
2、
3、實驗名稱PROLOG語言編程練習及圖搜索問題求解課程名稱人工智能及應用
4、
5、專業(yè)班級：學生姓名：學號：成績：指導教師：實驗日期：（實驗報告如打印，紙張用A4，左裝訂；頁邊距：上下2.5cm,左2.9cm,右2.1cm；字體：宋體小四號，1.25倍行距。）驗證性、綜合性實驗報告應含的主要內容：一、實驗目的及要求二、所用儀器、設備三、實驗原理四、實驗方法與步驟五、實驗結果與數(shù)據(jù)處理六、討論與結論（對實驗現(xiàn)象、實驗故障及處理方法、實驗中存在的問題等進行分析和討論，對實驗的進一步想法或改進意見）七、所附實驗輸出的結果或數(shù)據(jù)設計性實驗報告應含的主要內容：一、設計要
6、求二、選擇的方案三、所用儀器、設備四、實驗方法與步驟五、實驗結果與數(shù)據(jù)處理六、結論（依據(jù)“設計要求”）七、所附實驗輸出的結果或數(shù)據(jù)*封面左側印痕處裝訂華北電力大學科技學院實驗報告一、實驗目的及要求1.熟悉PROLOG的運行環(huán)境，進行prolog的基本編程練習。了解PROLOG語言中常量、變量的表示方法。PROLOG的簡單程序結構，掌握分析問題、詢問解釋技巧；進行事實庫、規(guī)則庫的編寫，并在此基礎上進行簡單的詢問。具體實驗課上相關內容，練習例1到例6的內容。2.圖搜索問題求解。任選以下實際應用題目：愛因斯坦的超級問題、字謎問題、漢諾塔問題、八數(shù)碼問題、八皇后問題、過河問題等，選兩個。要求
7、實驗報告中包括：程序及其注釋和說明、console表單中的程序運行結果。二、所用儀器、設備PC機和trincprolog編譯軟件三、實驗原理PROLOG語言是一種以邏輯推理為基礎的邏輯型程序設計語言，是一種陳述性語言而不是過程性語言。PROLOG語言能夠自動實現(xiàn)模式匹配和回溯、具備遞歸技術，而且語法簡明，可以簡化復雜問題求解。四、實驗方法與步驟1，先搭配實驗環(huán)境：PC機和trincprolog編譯軟件2，寫好程序進行編譯3，用“？-”來檢測程序結果4,實驗一（1）定義word規(guī)則（2）定義crossword（3）定義行列重復的設為變量（4）遞歸算法查找結果5，實驗二（1）設計該問題的
8、狀態(tài)。例如：((左岸牧師數(shù)，左岸野人數(shù)),(右岸牧師數(shù)，右岸野人數(shù)),船的位置)。（2）定義目標狀態(tài)。這里是：((0,0),(3,3),1)（3）描述可能的動作。船上所能夠載人的狀態(tài)就是可能的操作。用謂詞move表第頁共頁華北電力大學科技學院實驗報告示。（4）判斷合法狀態(tài)（5）深度優(yōu)先搜索五、求解的問題與程序實驗一：字謎問題//定義word規(guī)則word(abalone,a,b,a,l,o,n,e).word(abandon,a,b,a,n,d,o,n).word(enhance,e,n,h,a,n,c,e).word(anagram,a,n,a,g,r,a,m).word(conne
9、ct,c,o,n,n,e,c,t).word(elegant,e,l,e,g,a,n,t).crosswd(V1,V2,V3,H1,H2,H3):-//定義crosswd規(guī)則word(V1,_,A,_,B,_,C,_),//行與列交叉的設為變量word(V2,_,D,_,E,_,F,_),word(V3,_,G,_,H,_,I,_),word(H1,_,A,_,D,_,G,_),word(H2,_,B,_,E,_,H,_),word(H3,_,C,_,F,_,I,_).實驗二：傳教士與野人問題//從左岸到右岸船上的人數(shù)move(1,0).第頁共頁華北電力大學科技學院實驗報告move(
10、0,1).move(0,2).move(2,0).move(1,1).//判斷當前狀態(tài)是否合法legal((X,Y,_)):-legal1(X),legal1(Y).legal1((X,Y)):-X=:=0,Y>=0,!.legal1((X,Y)):-Y=:=0,X>=0,!.legal1((X,Y)):-X>=Y,X>=0,Y>=0.//根據(jù)(X,Y,0),Move，求出Statu1update((X,Y,0),Move,Statu1):-(A,B)=X,//左岸的狀態(tài)給變量X(C,D)=Y,//右岸的狀態(tài)給變量Y(E,F)=Move,//移動的人與傳教士的個數(shù)C1isC+E,D1
11、isD+F,A1isA-E,B1isB-F,Statu1=((A1,B1),(C1,D1),1).//求出右岸的狀態(tài)update((X,Y,1),Move,Statu1):-(A,B)=X,第頁共頁華北電力大學科技學院實驗報告(C,D)=Y,(E,F)=Move,C1isC-E,D1isD-F,A1isA+E,B1isB+F,Statu1=((A1,B1),(C1,D1),0).//求出左岸的狀態(tài)//調用connect規(guī)則，求出Statu1,并對其進行判斷
