(原)在ubuntu 中安装 swi prolog 和 简单的使用

1. 参考网址：http://www0.cs.ucl.ac.uk/staff/mahmed/teaching/intro.html
2. 参考网址：http://www.swi-prolog.org/build/Debian.html
3. 安装

% sudo apt-add-repository ppa:swi-prolog/stable

% sudo apt-get update

% sudo apt-get install swi-prolog

 

       2. 检测ubuntu 版本的方法 ：打开 terminal 输入 swipl --version

       3. 检索方法：

by loading a database (your program) holding the facts and rules you want to use with; ['progName.pl'] or compile('progName.pl') or consult('progName.pl'), for example

?- ['family.pl'].

?- compile('family.pl').

?- consult('family.pl').

注意：一定在结尾处有 "."

        4. 退出方法：

?- halt.

<Ctrl>+<D>

        5.查询方法：

The listing command can be used to list the predicates that you have specified in your program or those in to the built in the interpreter, for example: 

?- listing(grandparent). grandparent(X, Y) :- parent(X, Z), parent(Z, Y). Yes