人工智能實驗指導(dǎo)書--PROLOG語言

1、 人工智能技術(shù)技術(shù)基礎(chǔ) 實驗指導(dǎo)書 - 5 -人工智能技術(shù)基礎(chǔ)實驗指導(dǎo)書張勇 編電子學(xué)院運輸自動化科研所2011年4月實驗一 PROLOG語言編程練習(xí)1 目的與要求實驗?zāi)康模杭訌妼W(xué)生對邏輯程序運行機能的理解，使學(xué)生掌握PROLOG語言的特點、熟悉其編程環(huán)境，同時為后面的人工智能程序設(shè)計做好準(zhǔn)備。實驗要求：（1）程序自選，但必須是描述某種邏輯關(guān)系的小程序。 （2）跟蹤程序的運行過程，理解邏輯程序的特點。（3）對原程序可作適當(dāng)修改，以便熟悉程序的編輯、編譯和調(diào)試過程。2 實驗內(nèi)容或題目實驗題目：PROLOG語言編程練習(xí)實驗內(nèi)容： 在Turbo PROLOG或Visual Prolog集成環(huán)境下調(diào)試

2、運行簡單的PROLOG程序，如描述親屬關(guān)系的PROLOG程序或其他小型演繹數(shù)據(jù)庫程序等。3 實驗步驟與源程序?qū)嶒灢襟E：(1) 啟動Windows操作環(huán)境。(2) 下載、安裝Turbo PROLOG，了解它的運行模式及功能。(3) 打開文件目錄，執(zhí)行prolog應(yīng)用程序，啟動Turbo prolog，并按空格鍵(SPACE)進(jìn)入集成開發(fā)環(huán)境。(4) 選擇Setup項，打開下拉菜單，選擇Directories項，進(jìn)行工作目錄修改，按Esc鍵退出，選擇Save Configuration項，保存修改。(5) 選擇Files項，打開下拉菜單，選擇New file項，進(jìn)入源程序輸入和編輯，或選擇Load

3、項，選擇要打開的示例程序，再選擇Edit項，可以進(jìn)行編輯源程序。(6) 編輯之后，可以選擇Run項，執(zhí)行程序，可以在Dialog窗口進(jìn)行詢問，即外部目標(biāo)的執(zhí)行，查看程序運行結(jié)果，分析程序之功能。(7) 仿前例，可以選擇其他程序并運行，分析程序功能。(8) 退出，選擇Quit項，可以退出Turbo Prolog程序，返回到Windows環(huán)境。源程序：驗證題1：domainsd=integerpredicatesnot_(D,D)and_(D,D,D)or_(D,D,D)xor(D,D,D)clausesnot_(1,0).not_(0,1).and_(0,0,0).and_(0,1,0).and

4、_(1,0,0).and_(1,1,1).or_(0,0,0).or_(0,1,1).or_(1,0,1).or_(1,1,1).xor(Input1,Input2,Output):-not_(Input1,N1),（1，0）not_(Input2,N2),（0，1）and_(Input1,N2,N3),and_(Input2,N1,N4),or_(N3,N4,Output).驗證題2：predicatesstudent(integer,string,real)gradegoalgrade.clausesstudent(1,zhang,90.2).student(2,li,95.5).stud

5、ent(3,wang,96.4).grade:-write(Please input name:),readln(Name),student(_,Name,Score),nl,write(Name,grade is,Score).grade:-write(Sorry,the student cannot find!).驗證題3：domainsn,f=integerpredicatesfactorial(n,f)goalreadint(I),factorial(I,F),write(I,!=,F).clausesfactorial(1,1).factorial(N,Res):-N0,N1=N-1

6、,factorial(N1,FacN1),Res=N*FacN1.驗證題4：domainss=symbolpredicatesp(s) p1(s) p2(s) p3(s) p4(s) p5(s,s) p11(s) p12(s) p31(s) goalp(X),write(the x is ,X).clausesp(a1):-p1(b),p2(c).p(a2):-p1(b),p3(d),p4(e).p(a3):-p1(b),p5(f,g).p1(b):-p11(b1),p12(b2).p3(d):-p31(d1).p2(c1).p4(e1).p5(f,g).p11(b1).p12(b2).p31(d11).4. 實驗中易出錯的地方(1) PROLOG程序中大小寫字母分別代表不同的含義，一般大寫字母開頭表示變量，小寫字母開頭表示常量，在寫程序時要注意區(qū)分。(2) 子句段中規(guī)則和事實可連續(xù)排列在一起，但同一謂詞名的事實或規(guī)則必須集中排列在一起。(3) Goal段可在程序運行時臨時給出，但必須是在開發(fā)環(huán)境中運行程序時方可給出。若要生成一個獨立的可執(zhí)行文件