进入和退出:
$prolog 进入prolog
输入halt. 退出prolog,同时不要忘记“.”
语句解释:
male(di). #每一行都是一个字句clause
male(jianbo).
female(xin).
female(yuan). #不带有”:-“的子句叫做事实(fact)
female(yuqing).
father(jianbo,di).
father(di,yuqing).
mother(xin,di).
mother(yuan,yuqing).
grandfather(X,Y):-father(X,Z),father(Z,Y). #带有“:-”的子句叫做规则(rule)
grandmother(X,Y):-mother(X,Z),father(Z,Y). #以大写英文字母为开头的名称我们称它们为变量,如X,Y
daughter(X,Y):-father(X,Y),female(Y). #”,”代表逻辑关系中的”且”
执行文件:
法1、prolog 1.pl
法2、先进入prolog再输入如下查询:
?- consult('~/prolog/chapter2.pl').
这里”consult”的意思是让SWI-Prolog加载你编写的程序,然后编译它。
输出语句:
writeln 写一行然后换行
write 写一行
nl 换行
如:
?- write('22'),nl,write('23').
22
23
true.
?- write('22'),write('23').
2223
true.
?- writeln('22'),write('23').
22
23
true.