人工智能实验报告84352

华北电力大学科技学院

实验报告

实验名称PROLOG语言编程练习及图搜索问题求解课程名称人工智能及应用

专业班级：软件12K2 学生姓名：

学号：成绩：

指导教师：刘丽实验日期：2015.5

2.新建文本并(Flie→New→Text Edit)

3.根据实验要求在新建的文本中输入程序代码

4.保存(Save)并编译(Compile)

5.在trinc prolog下输入问题显示(Prove)实验要求的结果

五、求解的问题与程序

1.爱因斯坦的超级问题

代码：

member(X,[X|Tail]).

member(X,[Head|Tail]):-member(X,Tail). %X是表Tail的成员

%定义房间各种属性的谓词

color(h(C,N,P,Y,D),C). %h(C,N,P,Y,D)的color是C nation(h(C,N,P,Y,D),N). %h(C,N,P,Y,D)的nation是N pet(h(C,N,P,Y,D),P). %h(C,N,P,Y,D)的pet是P

yan(h(C,N,P,Y,D),Y). %h(C,N,P,Y,D)的yan是Y drink(h(C,N,P,Y,D),D). %h(C,N,P,Y,D)的drink的是D %定义邻居关系的谓词next

next(A,B,[A,B,C,D,E]).

2.传教士与野人问题输出的结果(如下图)

八、Prolog实验课的问题

程序例子中用到过哪些环境自带的谓词？

1)example1.txt中运用了比较谓词>=,输出谓词write(X),否定谓词not(X)

2)example2.txt中没有运用环境自带的谓词

3)example3.txt中运用了输出谓词write(X),nl谓词,接口谓词fail

4)example4.txt中运用了输出谓词write(X)

5)example5.txt中运用了输出谓词write(X)，nl谓词,接口谓词fail,截断谓词！

6)Example6.txt中运用了截断谓词！

7)Example7.txt中没有运用环境自带的谓词