根据给定条件定义奶奶序言

Question

编写Prolog代码以定义祖母。这是您母亲的母亲或您父亲的母亲。仅使用以下方法执行此操作：grandmotherOf（X，Y）（您正在定义），motherOf（X，Y）和fatherOf（X，Y）。

Answer 1

grandmotherOf（X，Y）-我将其翻译为X的祖母是Y，所以Y =祖母和X =孙子。

祖母是指您父亲或母亲的母亲 所以如果Y是你的祖母而X是你

grandmotherOf(X,Y):- motherOf(X,Z), motherOf(Z,Y).
grandmotherOf(X,Y):- fatherOf(X,Z), motherOf(Z,Y).

第一行从您母亲的角度解决了祖母的情况，如果失败（找不到Z是您的母亲，也不是祖母的女儿），则继续第二行并寻找父亲。

>