我在AG knowlwedgebase中有这样的信息
Person1 hasBrother Person2
Person1 hasSister Person 3
如何在prolog中编写规则以找出上述事实中的其他关系
Person2 hasSister Person3
Person3 hasBrother Person2
Person 3 is SiblingOf Person 2
我试过这样但没有成功：
(<-(Family ?p1 relation ?p2)
(q ?p1 !ns:hasBrother ?p2)
(q ?p1 !ns:hasSister ?p2)
)
有人可以帮我写一条规则来获得额外的传递关系吗？