Prolog 开发环境搭建

工欲善其事必先利其器， Prolog 作为一个逻辑编程语言，有一个好的工具也是事半功倍的。

Prolog 作为老牌语言，编译器自然有好多，不需要全部都会使用，找一个适合自己的操作环境。

Windows 环境下：visual-prolog、 turbo prolog

Linux（主要测试过 Ubuntu）下：SWI-prolog、gprolog

Mac 环境下：amzi-prolog

其实有些是可以跨平台的，有些只能在某一平台上使用，根据自己的需求选择。

Ubuntu 14.04 搭建 SWI-prolog 开发环境

1. 安装 swi-prolog

sudo apt-get update

sudo apt-get install swi-prolog

2. 编写 prolog 源代码，后缀以 .pl 扩展

vi love.pl

love(zhangxueyou,wanfei).
love(zhangxueyou,zouhuimin).
love(wanfei,xietinfen).
love(zouhuimin,zhangxueyou).
love(xietinfen,wanfei).
love(xietinfen,zouhuimin).
love(liudehua,zouhuimin).
lovers(X,Y):-love(X,Y),love(Y,X).

3. 终端敲命令 prolog，进入 gnu prolog 环境

①  命令行交互运行程序：

在 “?-” 符号后面敲 [user]. （注意别把 “.” 丢掉，. 在 prolog 程序里面是结束符，类似 C 的 ；）

敲两下回车看到 “|:” 符号，依次将下列写入代码：

love(zhangxueyou,wanfei).

love(zhangxueyou,zouhuimin).

love(wanfei,xietinfen).

love(zouhuimin,zhangxueyou).

love(xietinfen,wanfei).

love(xietinfen,zouhuimin).

love(liudehua,zouhuimin).

lovers(X,Y):-love(X,Y),love(Y,X).

输入代码完成后，按 ctrl + D，退出代码编辑

当再次出现 “?-” 符号就可以运行刚刚写的代码了

?-love(zhangxueyou,wanfei).

true

?-love(zhangxueyou,liudehua). 

false

......

按 ctrl + D，退出 gnu prolog 环境

②  运行 .pl 文件中的源代码程序：

将 ① 中的 [user]. 改为你的文件名即可，例 [love]. ，其他运行程序时候完全一样。

参考文章：http://blog.csdn.net/robin7513/article/details/4846334

Prolog教程：http://blog.csdn.net/mwsong/article/details/1765871

http://fengdidi.github.io/blog/archives/

官方教程：http://www.swi-prolog.org/

Github：https://github.com/SWI-Prolog