Downloading and using SWI Prolog

Catalog

1, download

2, Use

3, Example （ The problem of map coloring ）

---

1, download

First search in the browser swi prolog, Find and access the official website .

Click on download SWI-Prolog

Here, you can choose the version to download according to your needs  

Check I Understand After clicking on download download  

2, Use

After installation, you can start to use . First, right-click to create a new text document , Then write code in it . Save and exit after writing , Then change the suffix of the file to .pl.. Then open the SWI-Prolog, Here are options file, Click Select consult, Then select the one generated in the previous step .pl file . Then enter the corresponding statement and press enter , You can get the result . Pay attention to writing .. Or just type in consult(' The path of the file '). , For example, next ：

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

Notice the double slash here , You can also use a single backslash . namely ：

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

3, Example （ The problem of map coloring ）

Adjacent areas of the map cannot use the same color . Now there are three colors ： red 、 green 、 blue . Please tell me how to color the map above ？

 .pl Enter... In the file ：

%map.pl
% Define three colors 
color(red).
color(green).
color(blue).

% Define the coloring rules 
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.

stay swi-prolog Input in consult sentence , Then input colorrule(A,B,C,D,E). You get the result .