防止无限循环序言

Question

我遇到了以下问题：
定义了以下事实和谓词：

father(avr, yit).
male(avr).
married(avr, sara).
father(yit, yaak).
married(rivka, yit).
father(yaak, yosef).
mother(rachel, yosef).
father(yaak, levi).
mother(leaa, levi).
mother(zilpa, gad).
father(yaak, dan).
mother(bilhaa, dan).
father(yosef, menashe).
father(yosef, ephraim).

are_married(X,Y) :- married(X,Y).
are_married(X,Y) :- married(Y,X).

我定义了以下谓词：

married(X,Y) :- mother(X,Z) , father(Y,Z).
mother(X) :- are_married(X,Y) , father(Y,_).

现在的问题是，妈妈是由婚姻来定义的，而婚姻是由做妈妈来定义的——结果是死循环，程序崩溃了。
如何防止无限循环？有没有办法告诉谓词不要使用不同的谓词？

Answer 1

为什么要重写妈妈？

直接跳过

mother(X) :- are_married(X,Y) , father(Y,_).

因为您已经有一个（数据定义）作为母亲。