人工智能技术基础实验报告PROLOG语言编程练习

1、人工智能技术基础实验报告指导老师：朱力任课教师：张勇实验一PROLOG语言编程练习一、实验目的加强学生对逻辑程序运行机能的理解，使学生掌握PROLOG语 言的特点、熟悉其编程环境，同时为后面的人工智能程序设计做好准 备。二、实验环境在Turbo PROLOG或Visual Prolog集成环境下调试运行简单的 PROLOG 程序，三、实验内容运行给定的五个程序，验证程序，得到结果，理解逻辑程序的特 点，熟悉程序的编辑、编译和调试过程四、实验步骤1、打开Turbo prolog2.0文件，启动prolog.exe应用程序，并按空格 键(SPACE)进入集成开发环境。2、选择Setup项，打开下拉

2、菜单，选择Directories项，进行工作目 录修改，按Esc键退出，选择Save Configuration项，保存修改。3、在相应的路径所在文件件夹中会生成work.Pro文件将其用文本打 开，将要运行的程序写入，保存。4、选择Files项，选择Load项，选择要打开的示例程序5、编辑之后，可以选择Run项，执行程序，可以在Dialog窗口进行 询问，即外部目标的执行，查看程序运行结果，分析程序之功能。6、仿前例，可以选择其他程序并运行，分析程序功能。7、退出，选择Quit项，可以退出Turbo Prolog程序。五、实验源程序验证题1：domainsd=integerpredicate

3、snot_(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_(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).验

4、证题2：predicatesstudent(integer,string,real)gradegoalgrade.clausesstudent(1,zhang,90.2).student(2,li,95.5).student(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=integer predica

5、tesfactorial(n,f)goalreadint(I),factorial(I,F),write(I,!=,F).clausesfactorial(1,1).factorial(N,Res):-N0,N1=N-1,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(

6、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).验证题5：domainsname=symbolage =integerpredicatesplayer(name,age)match(name,name)cluases player(peter, 9).player(paul, 10).player(chris, 9).player(susan, 9).六、实验结果验证一：计算数的非，与，或，异或，验证逻辑关系，非，

7、与，或，异或的正确性H Line 1 Gol 2E:SRGZNSWORK.FKO Indent Inserg E:rgznTUIiBO_l. 0TURBOP1. OVPROLOG. EXEEditCompileOpt ions! etupI= Dialog =Goal： not_ X=1 1 Solut ion Goal： and_(0,0,K) X=01 SolutionGoal： or_(0,0,X X=01 Solut ionGoal： xor(0,0,X X=01 Solution Goal：Shift-FlB-nesise F10-EndF2-Save F3Load F5-Zoom

8、F6Next F8-Freuiousdomainsd=integer predicatesnot_(D,D and_(D,D,D or_D,D,D) xor clausesnot_. not_(0,l. and_. and_(0,l,0). and_.or_00. Messagenot_ and_ o*_ xoru-*/ iir*/图1.1验证二：查找某个人的成绩如 E:rgmnJRBOl.叭TUEBOP”iPROLOG.EXE FilesLine 1Crd 3Editpredicatesstudent(integer,string,real) gradeBunXWORK.PRO Indent

9、 Insei1CompileOptionsSetupglt DialogVes Goal：?lease input nane：hangclousesgrade.studentd, z han sf, 99.2 .studentta/li-S.S).student3/wang,96.4).grade:-writePlease input nane:),readlnHanfi studentreadint, write.lausesactorial.factariaKH, Res) ；-NWfactorialNl,FacNl),Res=N*FacHl.OptionsSetupnDialog =2N

10、233?=644! =245?=12Sfit=72E 7 ?=50402-Save验证四：走迷宫找出口K E:rgnTUEBQ_，l. 0TUEBOP1. DPROLOG.EXELineCol 1ditCompilenserdomainss=synbolFfidicatesp pi p2 p3 p4 p5 pii pigoalclausesp(X,wpite(Mtie x is 七Xp(a2) p(a3) pl y3(d) p2/ p4. p5.pl2. p31.-pl,p2.-pl(b),p3(d,p4(e.-pl(b),p5(f,g).-pll,pl2.-p31(dl).OptionsSe

11、tupDialog =the x is a3the x is aSPress the SPACE bar2_SaueF3-Load FG-Switch F9-Comuilefilt-X-Exit验证五在外部Goal: match(X,Y)条件下，分别采用以上各match谓词，观察对应的执行结果。1、match(X,Y):- player(X,9), player(Y9), XY.2、match(X,Y):- !, player(X,9), player(Y9), XY.!, playerCX,?), playei-,9), XOV.layertpeter, 9). layerpaul, 10)

12、. layeFchris, 9). 9).IMessage Load E:RGZNW0RK.PR0Compiling E:RGZNW0RK.PR0 flayer latchE:rgznTURBO_l. OXTUEBOPl. DPKOLOG.EXEX=peter, X=chris, 苦=chids,6 Solutions aoal:Opt ?.:ri!Somainslausesnane=si;nbGlasfe integer medicatespla 哭 Mname, age)Dialag =susanY=peterV=susanYrpeter=chris6 SolutionsG&al： mat

13、chtX,V) K=peter, X=peter, M=chris, X=chi*is, K=susan, =8118*0,=chris V=iian =peter V=susanY=peter =chris2-Saue F3-Load F5-Zooni F6-Next F3-Previous uoal Shift-F13-Hesise F13-End图5.23、match(X,Y):-player(X,9), !, player(Y9), XY.皿 E:rgjmTUMO_l. 0TUKBOP1. OWRQLOG.EZEU|ilesdit muileptionsSetup：Dialog =ll

14、donainsX=susan, =chrisname=synbol6 Solutionsage =integerGoal； natcliX,)predicatesX=peterJ. =chriKplaernamerase )K=petep, =usanniatch name r name)X=chri, =peterclausesK=chriE, =usanX=susan, =peterplayertpeter, 9).ii =susan, =chrisplayertpaul, 10).6 SolutionsplayerCchris, 9).Goal； matchX,)plaj/er(susa

15、n, 9).X=peter, =chris;=peter, =susanmatch：- playerX,9), !, player,9), X.2 SolutionsGoal：MessageLoad E:RGZNWORK.PRCCompiling EtRGZNWORK.PROplayermatchF2-Saue F3-Lnad F5-Zoom F6-Next FB-Preuiousgoal Shift-F10-Resize F10-End |4、match(X,Y):-player(X,9), player(Y9), !, XY.g E:rgznTnRBO_LOXTHRBOPl.叭PROLOG

16、- EXE ilesditnmpilc)t ionsetup;Dialog domainsCoal： natch(Xrname=synholX=peter, V=chrisage =intejfeFX=peter, y=susanpredicatesX=chpisr =petepplayertname,age )X=chris, =susann)atchnameK=susan V=peterclausesX=susan, VchrisSolutionsplayertpEter, 9).ioal： matchlayertpaul, 19.X=peter, V=chrisplayeFchFi, 9

17、).X=peterr V=usan playertsusan, 9).2 SolutionsGoal： natchmatch：- playepf pla说h X,Ha Soluti(mGoal：.I Message；oad E:EGZNWOflK.PROCompiling E:RGZNWORK.PflOplayeratch?2-Save F3-Load Fb-Zcon F6-Next F8-Previous goal Shift-Flfi-RssiHe Fl-End图5.45、match(X,Y):- player(X,9), player(Y9), XY,试 E:rznTURBO_l. |s

18、TUEBOPl. ihPR0L0G.EXE,EditLine 1Ml 1cinuiledomainsname=symbnlage = integer predicatesplayer mat ch. i.)layerCchris, 9. playerCsusan, $.match：- pl叫pl祜eMYJ)，XOV, 6 Solutions Goal： matchX=peter, =clirisX=peter, V=5iisan 2 Solutions matchtX,V)No Solution.cal： match(X,y)H=peter, =chris 1 Solut ion Goal： M e s w & g e -Load E：XRGZNXMOK.FROCompiling E:BGZNWORK.PflO player natchii?2-Saue F3-Lnad FS-Eoom F6-N