用python写家族树的基本事实

课题 写出描述谓词 GrandChild、 GreatGrandparent、 Ancestor、Brother、Sister, Daughter、Son、 FirstCousin、BrotherInLaw、SisterInLaw、Aunt 和 Uncle 的公理。找出隔了 n 代的第 m 代姑表 亲的合适定义，并用一阶逻辑写出该定义。现在写出图 2-3 中所示的家族树的基本事实。采用 适当的逻辑

>>阅读原文<<