用python寫家族樹的基本事實

課題 寫出描述謂詞 GrandChild、 GreatGrandparent、 Ancestor、Brother、Sister, Daughter、Son、 FirstCousin、BrotherInLaw、SisterInLaw、Aunt 和 Uncle 的公理。找出隔了 n 代的第 m 代姑表 親的合適定義，並用一階邏輯寫出該定義。現在寫出圖 2-3 中所示的家族樹的基本事實。採用 適當的邏輯

>>阅读原文<<