swi-prolog安装及使用(基于)

1.首先安装程序(ubuntu下)

sudo apt-get update

sudo apt-get install swi-prolog

安装成功后,进入程序直接通过命令行输入prolog进入SWI-prolog

2.输入逻辑关系

提供一个简单的例子:

已知事实：father(tom,jerry).  father(jack,tom).
建立规则：grandfather(X,Z):-father(X,Y),father(Y,Z).
询问：grandfather(X,jerry).

这里有两种输入方式:
一.直接命令行键入事实与规则

[user].
这里" . “就相当于程序运行语句结束符号” ; "
之后就随意输入事实与规则

二.从文件中导入规则与事实

[filename].
filename:文件名