- 安装
安装 ubuntu 有两种方法。
- 方法一 :PPA 安装(使用与 12.04 和 13.04,其他的版本经过测试无法安装,比如我的 12.10) 。https://launchpad.net/~swi-prolog/+archive/stable
- 方法二:通过下载安装包。
下载地址:http://www.swi-prolog.org/download/stable 。
安装方法 http://www.swi-prolog.org/build/unix.html (这里请参照 Doing it in multiple steps)
2. 检测ubuntu 版本的方法 :打开 terminal 输入 swipl --version
3. 检索方法: 在terminal 中输入cd (文件夹的所在地址) --------》[filename]. 然后 回车