このようなAGナレッジベースに情報があります
Person1 hasBrother Person2
Person1 hasSister Person 3
上記の事実から追加の関係を見つけるためのルールをプロローグに書くにはどうすればよいですか
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)
)
追加の推移的な関係を取得するためのルールを書くのを手伝ってくれる人はいますか?