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

Question

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

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

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

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

Answer 1

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