我正在学习 Prolog，我想要的是对一个简单的家庭成员进行简单的“计算”（我不知道它在 Prolog 中是如何称呼的）。
例如我有：
1)father of steve is petter
2)brother steve is john
3)A person is a son to a Father when the brother of the person has as father the Father
（当它不在我的脑海中时，它似乎很有趣并且完全不合逻辑:)）
father(steve,petter).
brother(john,steve).
father(X,Y):-brother(X,Z),father(Z,Y)).
我的问题是约翰的父亲是谁（正确的遮阳篷应该是彼得）
?-father(john,X).
但它总是给我假。
【问题讨论】：
标签： prolog logic family-tree
当您输入father(john, X). 时，它首先尝试查找Z，使得brother(john, Z) 为真。不存在这样的Z，所以它返回false。
请注意，brother(steve, john) 并不意味着 brother(john, steve)，除非您告诉 Prolog 它应该这样做。
【讨论】：
Mike plays with a dog 之类的短语编码为plays(mike, dog) 或plays(dog,mike)。但是一旦你选择了一种解释，你就必须坚持下去。
已解决：
father(steve,petter).
brother(john,steve).
whoisfather(X,Y):-brother(X,Z),father(Z,Y).
?- whoisfather(john,X).
X = petter.
而不是
father(steve,petter).
brother(john,steve).
father(X,Y):-brother(X,Z),father(Z,Y)).
?- father(john,X).
false.
见cmets
【讨论】：
2 ?- father(john,X). ==> X = petter ;（这里我按;）然后是No。