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

人工智能技术基础实验报告老师：朱莉林和老师：张勇prolog语言程序设计练习实验一、实验目的加强学生对逻辑程序执行功能的理解，使学生掌握prolog语言的特点，掌握相应的编程环境，同时为以后的人工智能程序设计做好准备。二、实验环境在turbo prolog或visual prolog集成环境中运行简单prolog程序调试，三、实验内容运行给定的5个程序，验证程序，获得结果，了解逻辑程序的特性，熟悉程序的编辑、编译和调试过程四、实验阶段1、打开turbo prolog 2.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)灰色的高蛋等级。ClausesStudent (1， chapter ，90.2)。Student(2， li ，95.5)。Student(3， wang ，96.4)。grad :-write( please input name : )、readln (name)、Student(_，Name，Score)、Nl，write (name， gradis ，score)。Grad:-write (sorry，the student cannot find！)。验证问题3:Domainsn，f=integerPredicatesFactororial (n，f)高蛋Reaint (I)、Factororial (I，f)、Write(I，！=，F)。ClausesFactorial(1，1)。Factororial (n，RES) :-N0、N1=N-1，Factinal (n1，fa cn1)、Res=N*FacN1。验证问题4:DomainsS=symbolPredicatesP (s) P1 (s) p2 (s) P3 (s) P4 (s) P5 (s，s) p11 (s) p12 (s) p31 (s)高蛋P(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=integerPredicates播放器(name，age)Match(name，name)俱乐部ases玩家(彼得，9)。播放器(保罗，10)。玩家(克里斯，9)。玩家(Susan，9)。六、实验结果验证1:计算数的非、和、或其它、验证逻辑关系、非、和或其它或其它准确性图1.1图1.2验证2:查找个人的成绩图2验证3:计算层次结构图3验证4:迷宫寻找出口图4验证5在外部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编辑了程序的一部分，因此发现程序修改很困难在课堂上询问老师的指导和同学，老师知道可以成为文件，以文本形式打开，在文本中编辑，然后在应用程序fil