进入和退出：
$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.
原文：http://www.cnblogs.com/hozhangel/p/7778015.html