prolog - Prolog 问题无限循环初学者

Question

我正在尝试编写关于某人的妹妹被搜索的序言规则。这真的很简单，但我陷入了无限循环。

给定->

male(john).
male(hubert).
male(jude).

female(alice).
female(jane).
female(isabella).

issibling( john  , hubert ).
issibling( alice , bob    ).
issibling( alice , jane   ).
issibling( Y     , X      ) :- issibling(X,Y).

我的规则->

issister(X,Y) :- issibling(X,Y), female(X).

谢谢您的帮助。

标签： prologinfinite-loop