2.3 规则
规则是推理方法,即如何从一个论断得到另一个论断。
举例来说,我们定下一条规则:所有朋友关系都是相互的,规则写成下面这样。
friend(X, Y) :- friend(Y,X)....因此,根据这条规则,friend(jack, peter)就可以推理得到friend(peter, jack)。
如果一条规则取决于多个条件同时为true,则条件之间使用逗号分隔。...如果一条规则取决于某个条件为false,则在条件之前加上\+表示否定。
onesidelove(X, Y) :- loves(X, Y), \+ loves(Y,X)....执行表达式colorify(A,B,C,D,E),SWI-Prolog 就会将三种颜色依次赋值给变量,测试哪些组合是可能的结果。
?- colorify(A,B,C,D,E)....下面声明一条规则,每个房间的人都是不一样的。