SWI-Prolog的下载与使用

目录

1，下载

2，使用

3，示例（地图着色问题）

---

1，下载

首先在浏览器搜索swi prolog,找到并进入官网。

点击download SWI-Prolog

这里根据自己的需要选择下载的版本 

勾选I Understand之后点击download下载 

2，使用

安装完成后就可以开始使用了。首先右键新建一个文本文档，然后在其中写入代码。写完之后保存退出，然后将文件的后缀名改为.pl.。然后打开SWI-Prolog，这里有可以选择file，单击选择consult，然后选择上一步生成的.pl文件。然后输入对应的语句之后回车，就可以得到结果。注意要写.。或者直接输入consult('文件所在的路径'). ，例如下：

consult('C:\\Users\\Yan\\Desktop\\prolog\\test.pl').

注意这里要用双斜杠，也可以用单反斜杠。即：

consult('C:/Users/Yan/Desktop/prolog/test.pl').

3，示例（地图着色问题）

地图的相邻区域不能使用同一种颜色。现在有三种颜色：红、绿、蓝。请问如何为上面这幅地图着色？

 .pl文件中输入：

%map.pl
%定义三种颜色
color(red).
color(green).
color(blue).

%定义着色规则
colorrule(A,B,C,D,E):-color(A),color(B),color(C),color(D),color(E),\+A=B,\+A=C,\+A=D,\+A=E,\+B=C,\+C=D,\+D=E.

在swi-prolog中输入consult语句，然后输入colorrule(A,B,C,D,E).即可得到结果。