机器智能实验二：prolog编程实现一阶逻辑推理

一．实验目的

1. 学会使用Prolog语言；
2. 用Prolog语言巩固一阶逻辑知识；
3. 能够使用prolog语言实现一阶逻辑的证明；

二、实验的硬件、软件平台

硬件：计算机

软件：操作系统：WINDOWS 

应用软件：Prolog

三、实验内容及步骤

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

实验步骤：

1.构建一个pl文件，首先建立一个记事本，写入实验内容之后保存为pl格式就可以了，第一个小实验分为四个部分

①p(b).

p(a):-p(b).

p(a):-p(c).

这里需要注意的是每一句后面都要有一个英文句号表示结束，文件中的内容都是陈述事实，比如文件中的表示p(b)为真，p(a):-p