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

时间:2018-10-30 08:57:17

标签: prolog

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

1 个答案:

答案 0 :(得分:3)

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是您的母亲,也不是祖母的女儿),则继续第二行并寻找父亲。

>