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

人工智能技术基础实验报告指导老师： 朱力 任课教师： 张勇 实验一 PROLOG语言编程练习一、 实验目的加强学生对逻辑程序运行机能的理解，使学生掌握PROLOG语言的特点、熟悉其编程环境，同时为后面的人工智能程序设计做好准备。二、 实验环境在Turbo PROLOG或Visual Prolog集成环境下调试运行简单的PROLOG程序，三、 实验内容运行给定的五个程序，验证程序，得到结果，理解逻辑程序的特点，熟悉程序的编辑、编译和调试过程四、 实验步骤1、打开Turbo prolog2.0文件，启动prolog.exe应用程序，并按空格键(SPACE)进入集成开发环境。2、选择Setup项，打开下拉菜单，选择Directories项，进行工作目录修改，按Esc键退出，选择Save Configuration项，保存修改。3、在相应的路径所在文件件夹中会生成work.Pro文件将其用文本打开，将要运行的程序写入，保存。4、选择Files项，选择Load项，选择要打开的示例程序5、编辑之后，可以选择Run项，执行程序，可以在Dialog窗口进行询问，即外部目标的执行，查看程序运行结果，分析程序之功能。6、仿前例，可以选择其他程序并运行，分析程序功能。7、退出，选择Quit项，可以退出Turbo Prolog程序。五、 实验源程序验证题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_(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).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=integerpredicatesfactorial(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(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)cluasesplayer(peter,9).player(paul,10).player(chris,9).player(susan,9).六、 实验结果验证一：计算数的非，与，或，异或，验证逻辑关系，非，与，或，异或的正确性图1.1图1.2验证二：查找某个人的成绩图2验证三：计算数的阶层图3验证四：走迷宫找出口图4验证五在外部Goal: match(X,Y)条件下，分别采用以上各match谓词， 观察对应的执行结果。1、match(X,Y):- player(X,9), player(Y,9), XY.图5.12、match(X,Y):- !, player(X,9), player(Y,9), XY.图5.23、match(X,Y):- player(X,9), !, player(Y,9), XY.图5.34、match(X,Y):- player(X,9), player(Y,9), !, XY.图5.45、match(X,Y):- player(X,9), player(Y,9), XY, ! 图5.5七、 实验中出现的问题及解决办法实验初期，不知道如何加载示例，导致在editor中编辑了一段程序，发现程序的修改很困难上课时通过老师的指导和向同学询问，知道可以先生成一个文件，然后用文本打开，在文本中编辑，然后在应用程序filesload中work.