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).即可得到结果。

SWI-Prolog的下载与使用相关推荐

知识库递归编程java和prolog代码；逻辑语言Prolog简介(附24555字PDF发“递归prolog简介”下载)
知识库递归编程java和prolog代码:逻辑语言Prolog简介(附24555字PDF发"递归prolog简介"下载) 数据简化DataSimp 今天数据简化DataSimp导 ...
swi prolog 和java_在Java和SWI Prolog之间连接 - java
我正在尝试从Java运行swi prolog 我正在使用eclipse,并且已将jpl.jar插入到项目中(属性->库->添加外部jar),当我尝试运行程序时(这是jpl的示例,因此应该可 ...
swi prolog 和java_java-如何在Android中使用swi-prolog
我使用swi-prolog开发了一个prolog程序,并使用带有JPL.jar的常规java为其附加了接口, 运行得很好. 现在,我想使用android移动界面而不是java桌面界面执行相同操作.因此 ...
swi prolog 和java_制作适用于GNU和SWI的Prolog代码
可移植性是Prolog的最弱点之一 - ISO标准定义了current_prolog_flag / 2,但没有列出'name'实现的标志 . 我使用以下代码在SWI和YAP之间切换 swi :- pr ...
swi plog 使用 learn prolog now的学习
prolog工具的使用 swi prolog http://www.swi-prolog.org/ 下载了windows版本, 使用 ?- [swi('demo/likes')]. 来载入prolog ...
c语言实现逻辑谓词编程,头脑风暴-逻辑编程语言Prolog(01)
Prolog语言介绍 Prolog的英语意思就是Programming in logic(逻辑编程).与几乎无所不能的C语言或是Python语言不同,Prolog不是一种通用语言,比如说它并不能够写出 ...
Prolog 语言入门
Prolog 就是"逻辑编程"(programming of Logic)的意思.只要给出事实和规则,它会自动分析其中的逻辑关系,然后允许用户通过查询,完成复杂的逻辑运算. 很适合 ...
Learn Prolog Now 翻译 - 第二章 - 合一和证明搜索 - 第一节，合一
Learn Prolog Now 翻译 - 第二章 - 合一和证明搜索 - 第一节, 合一内容提要: 合一的定义: 一些合一的例子: 触发校验: 使用合一编程: 合一的定义在上一章的知识库KB4中 ...
现在学 Prolog 合一和证明搜索
转载自:https://mp.weixin.qq.com/s/SeMjK-_XR69jSQEQ-iRHMg 本章有两个主要目标: 1. 讨论Prolog中的合一,并解释Prolog合一与标准合一有何不 ...
【人工智能Prolog】安装与运行你的第一个Prolog程序
运行你的第一个Prolog程序下载 GNU Prolog 下载Notepad++ 第一个Prolog程序下载 GNU Prolog 下载地址:http://www.gprolog.org/ 根据自 ...

SWI-Prolog的下载与使用

1，下载

2，使用

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

SWI-Prolog的下载与使用相关推荐

最新文章

热门文章