prolog - 対称関係の反復解をプロローグする

Question

この小さなプログラムを考えてみましょう:

married(bill, hillary).
spouse(X, Y) :- married(X, Y); married(Y, X).
likes(X, Y) :- spouse(X, Y).

今、私は目標を評価したい

?- likes(X, Y).
X = bill
Y = hillary ?;
X = hillary
Y = bill
yes 

バックトラック時にこの対称関係の繰り返しを防ぎ、目標の対称性を維持する方法はあり?- likes(hillary, X).ますか?

Answer 1

@SergeyDymchenko がコメントで観察したように、リレーショナル プロパティを保持し、希望を満たすように述語を定義する方法はありません。

とにかくこれが欲しい理由は私には明らかではありません。多分あなたは出力を減らしたいですか？次に、別のクエリを実行します。

?- spouse(X,Y), X @=< Y.