资源描述：
《人工智能技术基础实验报告PROLOG语言编程练习.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、人工智能技术基础实验报告指导老师：朱力任课教师：张勇实验一PROLOG语言编程练习一、实验目的加强学生对逻辑程序运行机能的理解，使学生掌握PROLOG语言的特点、熟悉其编程环境，同时为后面的人工智能程序设计做好准备。二、实验环境在TurboPROLOG或VisualProlog集成环境下调试运行简单的PROLOG程序，三、实验内容运行给定的五个程序，验证程序，得到结果，理解逻辑程序的特点，熟悉程序的编辑、编译和调试过程四、实验步骤1、打开Turboprolog2.0文件，启动prolog.exe应用程序，并按空格键(SPACE)进入集成开发环境。2、选择Setup项，打开
2、下拉菜单，选择Directories项，进行工作目录修改，按Esc键退出，选择SaveConfiguration项，保存修改。3、在相应的路径所在文件件夹中会生成work.Pro文件将其用文本打开，将要运行的程序写入，保存。4、选择Files项，选择Load项，选择要打开的示例程序5、编辑之后，可以选择Run项，执行程序，可以在Dialog窗口进行询问，即外部目标的执行，查看程序运行结果，分析程序之功能。6、仿前例，可以选择其他程序并运行，分析程序功能。7、退出，选择Quit项，可以退出TurboProlog程序。一、实验源程序验证题1：domainsd=integerp
3、redicatesnot_(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
4、,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("Pleaseinputname:"),readln(Name),student(_,Name,Score),nl,write(Name,"gradeis",Score).grade:-write("Sorry,thestudentcannotfind!").验
5、证题3：domainsn,f=integerpredicatesfactorial(n,f)goalreadint(I),factorial(I,F),write(I,"!=",F).clausesfactorial(1,1).factorial(N,Res):-N>0,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("thexis",X).clausesp
6、(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
7、(susan, 9).一、实验结果验证一：计算数的非，与，或，异或，验证逻辑关系，非，与，或，异或的正确性图1.1图1.2验证二：查找某个人的成绩图2验证三：计算数的阶层图3验证四：走迷宫找出口图4验证五在外部Goal:match(X,Y)条件下，分别采用以上各match谓词，观察对应的执行结果。1、match(X,Y):-player(X,9),player(Y,9),X<>Y.图5.12、match(X,Y):-!,player(X,9),player(Y,9),X<>Y.图5.23、match(X,Y):-player(
