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.

這樣我們大概知道開發邏輯了，因爲也是初學，有什麼不對的地方，希望指正。