Prolog编程学习（一）

一、安装

官方下载地址，直接傻瓜式安装，记得在选择环境变量时勾中配置prolog

二、基本语法

1.常量和变量

（1）小写字母开头的字符串为常量

?- write(abc).
abc
true.

（2）大写字母开头的字符串为变量

?- write(Abc).
_9096
true.

?- write(Abc).
_9832
true.

2.关系和属性

（1）两个对象之间的关系用括号来进行表示。比如，Alice的朋友是Bob，则表示为friend（Alice，Bob），同样的，Bob的朋友是Alice表示为friend（Bob，Alice）。
（2）如果说括号里只有一个对象，则表明该对象有某个属性，如girl（Alice）。

3.规则

规则指的就是如何从一个推断得到另一个推断。比如说我们假设朋友的关系是互通的，你只要是我的朋友，那么我也是你的朋友。prolog表示的形式为friend(X,Y) :- friend(Y,X).。如果需要满足的条件为多条，则条件之间用逗号分隔，例如friend(X,Y) :- friend(Y,X),male(X).，如果某个条件为false，则在条件前加上\+，例如?- friend(X,Y) :- friend(Y,X),\+ male(X).。

4.查询

prolog可以查询已经设定好的条件。首先我们新建一个文本文档friend.pl。

friend(john, julia).
friend(john, jack).
friend(julia, sam).
friend(julia, molly).

之后在swi-prolog中导入这个文件（File->Consult），之后就可以进行查询测试。