prolog - 無限ループを引き起こさずにプロローグでこれを行うにはどうすればよいですか？

Question

私はPrologでこのようなことをしたいです：

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

両方をクエリしてtrueを返すようsome_commutative_property(1,2).にsome_commutative_property(2,1).します。

問題は明らかに、最初の行が無限ループを作成することです。どうすればこれを回避できますか？

Answer 1

複数の解決策があるかもしれません:

• 述語を 2 つに分割します。

  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).

with some_commutative_property_aux(1,2).andこれは、基本的な事実がwithsome_commutative_property_aux(3,4).の形式のみであるという仮定の下でのみ機能します。some_commutative_property(A,B)A =< B

• これらの解決策が気に入らない場合は、テーブル化と呼ばれるメモ化メカニズムを使用できます。すべての Prolog ダイアレクトがテーブル化をサポートしているわけではありません。たとえば、XSB はテーブル化をサポートしています。David S. Warren が説明しているように、「考え方は非常に単純です。同じ手続き呼び出しを 2 回行わないでください。最初に呼び出しが行われたときは、返されたすべての回答を覚えておいてください。再度行われた場合は、以前に計算された回答を使用して満足することができます。 XSB では、プログラマーはコンパイラ ディレクティブを使用して、どの呼び出しをテーブルに入れる必要があるかを示します。:- table some_commutative_property/2元のコードに追加すると、問題も解決されます。