なぜ停止しないのですか？

Question

私は、次のルールがある場合：

test(X, Y, abc) :- X=='true' ; Y =='true'. 

をし、私のようなクエリを作る：test(true, true, X).

なぜだろう、それを出力X = abc ?倍？

| ?- test(true, true, X). 
X = abc ? n 
X = abc ? n 
no 

一度だけ回答してはいけませんか？

X == trueを見つけて停止しないでください.1つの条件だけが真の場合、条件全体が真だからです。

Answer 1

これは、Prologがすべての可能な解決策を見つけようとしている可能性があり、そうするために可能なすべてのパスに従うためです。あなたは真実性への2つの可能な道を与えます。それゆえに、それは両方を追跡し、両方の結果を示します。