基本编程

加载文件

1
['D:/GK.2010.83a.pl'].

退出

xxxxxxxxxx
1
1
halt.

注释, 结束

xxxxxxxxxx
2
1
/* print hello world */
2
go :- write("hello world").

注释:/* */, 或行注释: %, 结束用"."来表示。

运行结果

xxxxxxxxxx
3
1
?- go.
2
hello world
3
true.

术语

xxxxxxxxxx
3
1
dog(jack). dog(cathy).
2
cat(rose). cat(mike).
3
animal(X):-dog(X).

语句(clauses)包括事实(facts)或规则(rules)两类。

例如：dog(fido)是事实, animal(X):-dog(X)是规则。

在dog(fido)中，dog是谓词(predicate), fido是实参(argument).

在animal(X):-dog(X)中，X是变量(variable). Prolog通过问问题(query)来执行。

xxxxxxxxxx
2
1
?- animal(jack).
2
true.

"?-"后面就是目标问题 (goal). 这里prolog会回答两种结果：true或false.

也可以带着变量问

xxxxxxxxxx
3
1
?- animal(X). 
2
X = jack ;
3
X = cathy.

变量用首字母大写的串来表示，事实首字母必须小写。

Prolog找到一个答案后，会回头重新找下一个答案, 多个答案用分号隔开。

有些内置的谓词可直接用作goal.

​x
1
?- listing(dog).
2
dog(jack).
3
dog(cathy).
4

5
true.

目标中可以含多个询问，用","隔开表示"与"的关系。

xxxxxxxxxx
9
1
?- dog(X),cat(Y).
2
X = jack,
3
Y = rose ;
4
X = jack,
5
Y = mike ;
6
X = cathy,
7
Y = rose ;
8
X = cathy,
9
Y = mike.

数据类型

数: 234, 23.4

字符串: 'Hello World', nl是回车换行

函数: likes(jack,rose)

变量: X,Y,Z

List: [a,[b,c,d],e,f]

有一些内置的常数，如：pi, e, inf.

操作符

操作符的定义

xxxxxxxxxx
1
1
:- op(500,xfx,'is_parent').

尽管一般是这么使用

xxxxxxxxxx
1
1
m is_parent t.

但也等同于谓词:

xxxxxxxxxx
2
1
?- is_parent(m,t).
2
true.

常见的算术操作符有: +,-,*,/, //, ^,abs(X),max(X,Y),sqrt(X).

xxxxxxxxxx
2
1
?- 1 =:= sin(pi/2).
2
true.

常见的逻辑操作符有:not, ";", ","

输入与输出

输入:

xxxxxxxxxx
4
1
sayhi :- 
2
  write('What is your name ?'),nl,
3
  read(X),
4
  write('Hi '),tab(2), write(X).

运行结果是

xxxxxxxxxx
5
1
?- sayhi.
2
What is your name ?
3
|: 'Hui Li'.
4
Hi   Hui Li
5
true.

又如

xxxxxxxxxx
8
1
square :-
2
   write('Please input a Num: '),
3
   read(Num),
4
   do(Num).
5
do(stop) :- !.
6
do(Num) :-
7
   S is Num * Num,
8
   write('Square of '),write(Num),write(': '),write(S),nl, square.

运行结果是

xxxxxxxxxx
6
1
?- square.
2
Please input a Num: 5.
3
Square of 5: 25
4
Please input a Num: |: stop.
5

6
true.

输出: write

输出ASCII码:

xxxxxxxxxx
4
1

2
?- put(37),nl.
3
%
4
true.

List与字符串操作

读取每一项

xxxxxxxxxx
2
1
writeall([]).
2
writeall([A|L]):- write(A),nl,writeall(L).

xxxxxxxxxx
6
1
?- writeall([i,'love','Beijing',[tian,an,men]]).
2
i
3
love
4
Beijing
5
[tian,an,men]
6
true.

内置谓词

xxxxxxxxxx
11
1
?- append([a,b,c],[1,2,3],L).
2
L = [a, b, c, 1, 2, 3].
3

4
?- member(a,[a,b,c]).
5
true .
6

7
?- length([a,b,c],X).
8
X = 3.
9

10
?- reverse([a,b,c],X).
11
X = [c, b, a].

字符串与List的转换

xxxxxxxxxx
4
1
?- name('helloworld',L).
2
L = [104, 101, 108, 108, 111, 119, 111, 114, 108|...].
3

4
?- name(X,[104,101,108,108,111,119,111,114,108,100]).X = helloworld.

借助List操作实现字符串操作

xxxxxxxxxx
4
1
joinNew(Str1,Str2,Str3):-
2
  name(Str1,L1),name(Str2,L2),
3
  append(L1,L2,Result),
4
  name(Str3,Result).

xxxxxxxxxx
2
1
?- joinNew('hello',' world',X).
2
X = 'hello world'.