prolog - Prolog，不确定为什么它不返回

Question

在此示例中，索菲亚是乔治的母亲。

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

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

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

Answer 1

“不。” 因为没有其他解决方案。如果 sophia 有多个孩子，则在查询“motherOf(sophia, Y)”时，您将获得两种解决方案。在电脑说“不”之前。尝试使用额外的“motherOf(sophia, homer)”。数据库中的子句。