Prolog实验报告科技学院.docVIP

华北电力大学科技学院 实 验 报 告 | | 实验名称 PROLOG语言编程练习及图搜索问题求解 课程名称 人工智能及应用 | | 专业班级：软件08k1 学生姓名：李静 学 号：081909020113 成 绩： 指导教师： 刘丽 实验日期：2011年4月30日 华 北 电 力 大 学 科 技 学 院 实 验 报 告 第 页 共 页 一、实验目的及要求 熟悉PROLOG的运行环境，进行prolog的基本编程练习。 了解PROLOG语言中常量、变量的表示方法。PROLOG的简单程序结构，掌握分析问题、询问解释技巧；进行事实库、规则库的编写，并在此基础上进行简单的询问。 具体实验课上相关内容，练习例1到例6的内容。 图搜索问题求解。 任选以下实际应用题目：爱因斯坦的超级问题、字谜问题、汉诺塔问题、八数码问题、八皇后问题、过河问题等，选两个。 要求实验报告中包括：程序及其注释和说明、console表单中的程序运行结果。 二、所用仪器、设备 PC机和trinc prolog编译软件 三、实验原理 PROLOG语言是一种以逻辑推理为基础的逻辑型程序设计语言，是一种陈述性语言而不是过程性语言。PROLOG语言能够自动实现模式匹配和回溯、具备递归技术，而且语法简明，可以简化复杂问题求解。 四、实验方法与步骤 1.安装prolog编译软件。 2.根据题目要求编写程序，格式为txt。 3.保存编译程序，查看运行结果，如有不对予以修改。 五、求解的问题与程序 1. 求解以下六个英语单词的纵横字谜问题。abalone, abandon, anagram, connect, elegant, enhance 。 word(abalone,a,b,a,l,o,n,e). word(abandon,a,b,a,n,d,o,n). word(enhance,e,n,h,a,n,c,e). word(anagram,a,n,a,g,r,a,m). word(connect,c,o,n,n,e,c,t). word(elegant,e,l,e,g,a,n,t). crosswd(V1,V2,V3,H1,H2,H3):- word(V1,_,A,_,B,_,C,_), %_表示无名变量 word(V2,_,D,_,E,_,F,_), %交叉处用变量A……I表示 word(V3,_,G,_,H,_,I,_), word(H1,_,A,_,D,_,G,_), word(H2,_,B,_,E,_,H,_), word(H3,_,C,_,F,_,I,_). 2. 八数码问题 它由一个3×3的方阵中的八个数码构成，其中的一个单元是空的，它的周边单元中的数码可以移到该单元中。此问题的任务是找到一个数码移动序列使初始的无序数码转变为一些特殊的排列。假定该问题的目标是把数码从开始状态移动到目标状态，如图所示： 2 8 3 1 6 4 7 5 1 2 3 8 4 7 6 5 rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X2,X1,X0,X3,X4,X5,X6,X7,X8]):-X0=0. rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X4,X1,X2,X3,X0,X5,X6,X7,X8]):-X0=0. rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X6,X1,X2,X3,X4,X5,X0,X7,X8]):-X0=0. rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X8,X1,X2,X3,X4,X5,X6,X7,X0]):-X0=0. rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X0,X2,X1,X3,X4,X5,X6,X7,X8]):-X1=0. rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X0,X8,X2,X3,X4,X5,X6,X7,X1]):-X1=0. rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X0,X2,X1,X3,X4,X5,X6,X7,X8]):-X2=0. rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X0,X1,X3,X2,X4,X5,X6,X7,X8]):-X2=0. rule([X0,X1,X2,X3,X4,X5,X6,X7,X8],[X2,X1,X0,X3,X4,X5,X6,X7,X8]):-X2=0.