用python写家族树的基本事实

课题

写出描述谓词 GrandChild、 GreatGrandparent、 Ancestor、Brother、Sister, Daughter、Son、 FirstCousin、BrotherInLaw、SisterInLaw、Aunt 和 Uncle 的公理。找出隔了 n 代的第 m 代姑表 亲的合适定义，并用一阶逻辑写出该定义。现在写出图 2-3 中所示的家族树的基本事实。采用 适当的逻辑推理系统，把你已经写出的所有语句 TELL 系统，并 ASK 系统：谁是 Elizabeth 的 孙辈，Diana 的姐夫／妹夫，Zara 的曾祖父母和 Eugenie 的祖先？

一、定义性质

F(x,y):y是x的父亲；
M(x,y):y是x的母亲；

二、描述其公理