我如何在不導致無限循環的情況下在prolog中執行此操作？

Question

我想要做這樣的事情在序言：

some_commutative_property(X,Y) :- some_commutative_property(Y,X). 
some_commutative_property(1,2). 
some_commutative_property(3,4). 

，使得雙方的查詢和some_commutative_property(1,2).回報some_commutative_property(2,1).真實。

問題很明顯，第一行創建了一個無限循環。我怎樣才能解決這個問題？

Answer 1

可能有多個解決方案：

• 分爲二謂語：

  some_commutative_property(X,Y) :- some_commutative_property_aux(X,Y). some_commutative_property(X,Y) :- some_commutative_property_aux(Y,X).

與some_commutative_property_aux(1,2).和some_commutative_property_aux(3,4).

• 強制命令：

  some_commutative_property(X,Y) :- X>Y, some_commutative_property(Y,X).

與some_commutative_property_aux(1,2).和some_commutative_property_aux(3,4).這種方法僅在假設的基本事實是隻有形式some_commutative_property(A,B)與A =< B。

• 如果您不喜歡這些解決方案，您可以使用稱爲製表的記憶機制。到目前爲止，並非所有Prolog方言都支持製表符，例如XSB。正如David S.沃倫解釋說，「The idea is very simple: never make the same procedure call twice: the first time a call is made, remember all the answers it returns, and if it's ever made again, use those previously computed answers to satisfy the later request. In XSB the programmer indicates what calls should be tabled by using a compiler directive"。添加:- table some_commutative_property/2你原來的代碼也將保存的問題。