Swi-Prolog的安装

转载自：https://mp.weixin.qq.com/s/cVhuibaXiCuUBTc-dX1Weg

macOS的安装

Port安装
开启浏览器输入链接 https://www.macports.org/install.php 下载当前使用的版本如下所示：

运行MacPorts-xxxxxxx.pkg安装包成功后

安装稳定版
$ sudo port install swi-prolog
Password:
Portfile changed since last build; discarding previous state.
—> Computing dependencies for swi-prolog
The following dependencies will be installed:
…
…
…
—> Some of the ports you installed have notes:
gawk has the following notes:
readline support has been removed from gawk. If you need to run gawk
interactively, install rlwrap:

sudo port install rlwrapand run gawk using rlwrap:rlwrap gawk ...

libpsl has the following notes:
libpsl API documentation is provided by the port ‘libpsl-docs’.
$

安装完成

$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.2)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

安装开发板

$ sudo port install swi-prolog-devel
安装过程略 …
安装完成
$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.15)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

Homebrew的安装
安装最新稳定版
$ brew install swi-prolog
Updating Homebrew…
==> Installing dependencies for swi-prolog: openssl@1.1, berkeley-db, jpeg, xz, libarchive, libyaml, pcre, readline, libtool and unixodbc
==> Installing swi-prolog dependency: openssl@1.1
…
…
…
==> libtool
In order to prevent conflicts with Apple’s own libtool we have prepended a “g”
so,you have instead:glibtool and glibtoolize.
安装完成
$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

安装最新版
$ brew install swi-prolog --HEAD
Updating Homebrew…
==> Auto-updated Homebrew!
Updated 1 tap (homebrew/core).
==> New Formulae
…
…
…
==> brew cleanup has not been run in 30 days, running now…
Removing: /usr/local/Cellar/cmake/3.15.3… (5,800 files, 53.2MB)
Pruned 0 symbolic links and 4 directories from /usr/local
==> Caveats
==> cmake
Emacs Lisp files have been installed to:
/usr/local/share/emacs/site-lisp/cmake
$
安装完成
$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.15)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

Ubuntu 16.04 的安装
$ sudo apt-get install software-properties-common

Reading package lists… Done
Building dependency tree
Reading state information… Done
The following packages were automatically installed and are no longer required:
libllvm4.0 linux-headers-4.10.0-28 linux-headers-4.10.0-28-generic
…
…
…
Setting up swi-prolog-x (8.0.3-0-xenialppa2) …
Setting up swi-prolog (8.0.3-0-xenialppa2) …
Processing triggers for libc-bin (2.23-0ubuntu10) …
安装完成
$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

Windwos的安装

开启浏览器输入链接https://www.swi-prolog.org/Download.html下载当前使用的版本如下所示：

这里选择Stable release

选择 SWI-Prolog 8.0.3-1 for Microsoft Windows (64 bit)
双击swipl-8.0.3-1.x64安装包

点击 “下一步”

点击“我接受”

按图选择然后点击“下一步”

点击“下一步”

点击“安装”

点击“完成”
然后运行 “CMD"

点击“确定”

键入swipl输入回车键

安装成功！
来自微信公众号:人工智能Prolog

Swi-Prolog的安装相关推荐

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 ...
【人工智能Prolog】安装与运行你的第一个Prolog程序
运行你的第一个Prolog程序下载 GNU Prolog 下载Notepad++ 第一个Prolog程序下载 GNU Prolog 下载地址:http://www.gprolog.org/ 根据自 ...
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不是一种通用语言,比如说它并不能够写出 ...
Learn Prolog Now 翻译 - 第二章 - 合一和证明搜索 - 第一节，合一
Learn Prolog Now 翻译 - 第二章 - 合一和证明搜索 - 第一节, 合一内容提要: 合一的定义: 一些合一的例子: 触发校验: 使用合一编程: 合一的定义在上一章的知识库KB4中 ...
现在学 Prolog 合一和证明搜索
转载自:https://mp.weixin.qq.com/s/SeMjK-_XR69jSQEQ-iRHMg 本章有两个主要目标: 1. 讨论Prolog中的合一,并解释Prolog合一与标准合一有何不 ...
Prolog教程 9
Prolog的程序就是谓词的数据库,我们通常把这些谓词的子句写入Prolog的程序中的.在运行Prolog时,解释器首先把所有的子句调入到内存中.所以这些写在程序中的子句都是固定不变的.那么有没有办法 ...
Prolog教程 2
探索Prolog Prolog在英语中的意思就是Programming in LOGic(逻辑编程).它是建立在逻辑学的理论基础之上的, 最初是运用于自然语言的研究领域.然而现在它被广泛的应用在人工智 ...

Swi-Prolog的安装

Swi-Prolog的安装相关推荐

最新文章

热门文章