SWI-prolog工具开发小案例

这是通过编译器做的一个小案例。
第一步启用编译器打出[user].注点号结束。
第二步写出事实和规则。Ctrl+D保存。
第三步让它根据我们的事实和规则推理。

1 ?- [user].

|: likes(bei,basketball).
|: likes(li,basketball).
|: lover(X,Y):-likes(X,basketball),likes(Y,basketball).
|:
% user://1 compiled 0.00 sec, 4 clauses
true.

2 ?- lover(bei,li).
true.

3 ?- lover(li,bei).
true.

4 ?- lover(li,a).
false.

5 ?- lover(li,football).
false.

这样我们大概知道开发逻辑了，因为也是初学，有什么不对的地方，希望指正。