一篇关于prolog的文章

一篇关于prolog的文章@TOC
1 Visual Prolog安装
1.1 下载Visual Prolog
网址： https://www.visual-prolog.com/vip/download/default.htm

下载完的文件：

下载完以后安装到D盘。

1.2 启动
在开始菜单中选择图标。

启动以后有个提示安装Examples，最好安装在Visual Prolog同一目录下。

启动以后的界面。

1.3 运行PIE
打开PIE（Prolog Inference Engine）示例project pie.vipprj.

打开以后的界面。

选择Debug->Run，会运行出界面。

1.4 推理程序示例
选择File->New，输入事实和规则。

likes(“Bell”,sports).
likes(“Mary”,music).
likes(“Mary”,sports).
likes(“Jane”,“Smith”).

friend(“John”,X):-likes(X,sports),likes(X,music).

使用Engine->Reconsult将文件装入推理机。

在Dialog窗口输入目标，即可推理出结果。
friend(“John”,X).