工欲善其事必先利其器, 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

GitHub 加速计划 / li / linux-dash
10.39 K
1.2 K
下载
A beautiful web dashboard for Linux
最近提交(Master分支:2 个月前 )
186a802e added ecosystem file for PM2 4 年前
5def40a3 Add host customization support for the NodeJS version 4 年前
Logo

旨在为数千万中国开发者提供一个无缝且高效的云端环境,以支持学习、使用和贡献开源项目。

更多推荐