《人工智能关键技术基础实验报告PROLOG语言编程练习.docx》由会员分享，可在线阅读，更多相关《人工智能关键技术基础实验报告PROLOG语言编程练习.docx（8页珍藏版）》请在三一文库上搜索。
1、人工智能关键技术基础实验报告PROLOG语言编程练习人工智能关键技术基础实验报告PROLOG语言编程练_ 人工智能技术基础试验汇报指导老师： 朱力 任课老师： 张勇 试验一 PROLOG语言编程练_试验目标加强学生对逻辑程序运行机能了解，使学生掌握PROLOG语言特点、熟悉其编程环境，同时为后面人工智能程序设计做好准备。试验环境在Turbo PROLOG或Visual Prolog集成环境下调试运行简单PROLOG程序，试验内容运行给定五个程序，验证程序，得到结果，了解逻辑程序特点，熟悉程序编辑、编译和调试过程试验步骤1、打开Turbo prolog2.0文件，开启prolog.exe应用程序
2、，并按空格键(SPACE)进入集成开发环境。2、选择Setup项，打开下拉菜单，选择Directories项，进行工作目录修改，按Esc键退出，选择Save Configuration项，保留修改。3、在对应路径所在文件件夹中会生成work.Pro文件将其用文本打开，将要运行程序写入，保留。4、选择Files项，选择Load项，选择要打开示例程序5、编辑以后，能够选择Run项，实施程序，能够在Dialog窗口进行问询，即外部目标实施，查看程序运行结果，分析程序之功效。6、仿前例，能够选择其它程序并运行，分析程序功效。7、退出，选择Quit项，能够退出Turbo Prolog程序。试验源程序验证
3、题1：domad=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),
4、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：doma
5、n,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：domas=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
6、(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：domaname=symbolage =integerpredicatesplayer(name,age)match(name,name)cluasesplayer(peter,10).player(chris,9).试验结果验证一：计算数非，和，或，异或，验证逻辑关系，非，和，或，异或正确性图1.1图1.2验证二：查找某个人成
7、绩图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中编辑了一段程序，发觉程序修改很困难上课时经过老师指导和向同学问询，知道能够先生成一个work.pro文件，然后用文本打开，在文本中编辑，然后在应用程序filesload中work.pro就能够了，处理了上述碰到问题。试验总结经过这次试验，我对Turbo PROLOG编程环境有了初步了解，对PROLOG语言特点有了更深了解，熟悉程序编辑、编译和调试过程，这次试验会对我以后试验有很大帮助。