Prolog，不确定为什么它返回没有

Question

在这个例子中，索菲亚是乔治的母亲。

当我输入代码时： motherOf(sophia,george). prolog返回是的。

但是，如果我输入： motherOf(X,george). 它返回X=sophia ? 我键入y但它返回no。

当它应该是肯定的时候，它返回no的原因是什么。

Answer 1

“没有。” 因为没有任何其他解决方案。 如果sophia有一个以上的孩子，那么在查询“motherOf（sophia，Y）”时，你将获得两种解决方案。 在电脑说“不”之前 尝试使用额外的“motherOf（sophia，homer）”。 DB中的子句。