人工智能实验二：使用Prolog的一阶逻辑推理实验

一、实验目的

1、学会使用Prolog语言；

2、用Prolog语言巩固一阶逻辑知识；

3、能够使用prolog语言实现一阶逻辑的证明；

 

二、实验硬件软件平台

硬件：计算机

软件：操作系统：WINDOWS 

应用软件：Prolog

 

三、实验内容及步骤

熟悉prolog语言的使用并实现对于一阶逻辑推理的证明。

prolog软件安装请参考：https://blog.csdn.net/houmou/article/details/41845595

 

源代码和实验截图下载

链接：https://pan.baidu.com/s/14JDHdVDM-CfxwTK3Ip-y7g

密码：xj6n

【内含实验报告，本实验小题目较多，图片也很多且多为小图，放在博客上可能会影响阅读，完整版请从上面自取】

 

实验题目及解答

 

第1题：对于a,b,c,d四种输入情况，验证|?- p(a).的真假；

 

a. p(b).   p(a) :- p(b). p(a) :- p(c).

b. p(c).   p(a) :- p(b). p(a) :- p(c).

c. p(b).   p(a) :- p(b), p(c).

d. p(c).   p(a) :- p(b); p(c).

 

解答此题的prolog语言相关原理——Prolog 的语句