資源描述：
《丁浩軒prolog教學實習報告》由會員上傳分享，免費在線閱讀，更多相關內容在教育資源-天天文庫。
1、天津農學院計算機科學與信息工程系《Prolog語言》教學實習報告實習名稱：Prolog程序的設計與開發(fā)專業(yè)班級：09級軟件工程1班學號：0908054213姓名：丁浩軒指導教師：馬國強成績：2012年8月10目錄1開發(fā)內容12開發(fā)目的13程序設計介紹13.1設計名稱13.2設計目標13.3地圖填色問題13.4畫一棵樹64總結與體會10101開發(fā)內容解決兩個問題，地圖填色問題、用Prolog程序畫出一棵樹，通過實驗進行驗證并上機調試運行，寫出實習報告。2開發(fā)目的通過本次教學實習，加深對prolog軟件的使
2、用與應用，并熟悉prolog語言，將某些問題用prolog程序得以實現(xiàn)，體會該程序的獨特之處。對所學專業(yè)知識進一步消化、理解并系統(tǒng)化，鍛煉和提高綜合運用所學知識解決實際問題的能力。3開發(fā)設計介紹3.1設計名稱Prolog程序的設計與開發(fā)3.2設計目標書寫代碼并運行程序得出預期結果。3.3地圖填色問題3.3.1概述人人都熟悉地圖，可是繪制一張普通的政區(qū)圖，至少需要幾種顏色，才能把相鄰的政區(qū)或區(qū)域通過不同的顏色區(qū)分開來，就未必是一個簡單的問題了。這個地圖著色問題，是一個著名的數(shù)學難題。大家不妨用一張中國政區(qū)
3、圖來試一試，無論從哪里開始著色，至少都要用上四種顏色，才能把所有省份都區(qū)別開來。所以，很早的時候就有數(shù)學家猜想："任何地圖的著色，只需四種顏色就足夠了。"這就是"四色問題"這個名稱的由來。103.3.2實驗步驟1.創(chuàng)建一個console控制臺程序2.建立之后，Bulid/Bulid一下3.修改main.pro3.3.3Prolog代碼implementmainopencore,stdiodomainscolors=bule;yellow;red;green.neighbors=nb(colors,col
4、ors).map=neighbors*.classpredicatesaMap:(map)nondetermanyFlow.test:(map)procedureanyFlow.generateColor:(colors)multi(o).clausesclassInfo("main","fourcolors").generateColor(R):-R=bule;R=yellow;R=green;R=red;aMap([]).aMap([X
5、Xs]):-X=nb(C1,C2),not(C1=C2),aM
6、ap(Xs).classfactsn:integer:=010clausestest(L):-n:=0generateColor(A),generateColor(B),generateColor(C),generateColor(D),generateColor(E),generateColor(F),L=[nb(A,B),nb(A,C),nb(A,E),nb(A,F),nb(B,C),nb(B,D),nb(B,E),nb(B,F),nb(C,D),nb(C,F),nb(C,F)].n:=n+1,aM
7、ap(L),!;L=[].run():-console::init(),test(L),stdio::write("",n,"",L),_=stdio::readline().endimplementmaingoalmainExe::run(main::run).3.3.4運行結果103.3.5變種問題我們可以修改程序，看看到底有多少種填色方案。修改程序后代碼如下implementmainopencore,stdiodomainscolors=blue;yellow;red;green.neig
8、hbors=nb(colors,colors).map=neighbors*.classpredicatesaMap:(map)nondetermanyFlow.test:(map)nondetermanyFlow.%multianyFlow.%procedureanyFlow.generateColor:(colors)multi(o).clausesclassInfo("main","fourcolors").generateColor(R):-R=blue;R=yellow;R=green;10R
9、=red.aMap([]).aMap([X
10、Xs]):-X=nb(C1,C2),not(C1=C2),aMap(Xs).classfactsn:integer:=0.k:integer:=0.clausestest(L):-n:=0,generateColor(A),generateColor(B),generateColor(C),generateColor(D),generateColor(E),generateColor(F),L=[
