prolog - Prolog、なぜ no を返すのか不明

Question

この例では、ソフィアはジョージの母親です。

コードを入力すると: motherOf(sophia,george).prolog は yes を返します。

ただし、次のように入力する と、y と入力すると返されますが、no が返されますmotherOf(X,george).。X=sophia ?

はいのはずなのに、いいえを返す理由は何ですか。

Answer 1

"いいえ。" 他に解決策がないからです。ソフィアに複数の子供がいる場合、「motherOf(sophia, Y)」を照会すると、両方のソリューションが提供されます。コンピュータが「いいえ」と言う前に。「motherOf(sophia, homer)」を追加して試してみてください。DB の節。