安装swi-prolog
官网下载链接 ：www.swi-prolog.org/download/st…
Windows、MacOSX、Linux都有，直接下载就可以。
运行第一个程序
以下都是在Windows系统下运行结果
Hello World
%% 打印Hello World，每个prolog语句都要以'.'结尾。
writeln('Hello World').
结果将返回Hello World字符串以及判断结果：
导入第一个脚本
导入
likes.pl是安装SWI-Prolog时自带的默认脚本。语句如下：
%% Demo coming from http://clwww.essex.ac.uk/course/LG519/2-facts/index_18.html
%%
%% Please load this file into SWI-Prolog
%%
%% Sam's likes and dislikes in food
%%
%% Considering the following will give some practice
%% in thinking about backtracking.
%%
%% You can also run this demo online at
%% http://swish.swi-prolog.org/?code=https://github.com/SWI-Prolog/swipl-devel/raw/master/demo/likes.pl&q=likes(sam,Food).
/** <examples>
?- likes(sam,dahl).
?- likes(sam,chop_suey).
?- likes(sam,pizza).
?- likes(sam,chips).
?- likes(sam,curry).
*/
likes(sam,Food) :-
indian(Food),
mild(Food).
likes(sam,Food) :-
chinese(Food).
likes(sam,Food) :-
italian(Food).
likes(sam,chips).
indian(curry).
indian(dahl).
indian(tandoori).
indian(kurma).
mild(dahl).
mild(tandoori).
mild(kurma).
chinese(chow_mein).
chinese(chop_suey).
chinese(sweet_and_sour).
italian(pizza).
italian(spaghetti).
%% 导入脚本
consult('C:/study/swipl/demo/likes.pl').
结果如下：
返回值为'true'表示加载成功。
第一个例子
之后我们可以输入一些例子来观察一下：
因为prolog是一门逻辑语言，所以会返回'true'或者'false'。
第二个例子
如果我们用未知数'X'来替代语句中的一部分，则会得到：
prolog会结果为真值的结果列出来。如果此时我们用';'代替'.'，将会得到所有有可能的值。如下：
用'X'替代'sam'的结果也是一样的：
但是由于脚本中例子有限(只有sam一个人)，所以此时使用';'会返回'false'。
同样的，如果我们使用'X'，'Y'将语句中的值全部替换成未知数，我们将得到所有值为真的组合：
