prolog使用二

标签：style   chapter   忘记   一个   名称   解释   class   英文字母   查询   

进入和退出：

$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.

prolog使用二

标签：style   chapter   忘记   一个   名称   解释   class   英文字母   查询   

原文地址：http://www.cnblogs.com/hozhangel/p/7778015.html