Prolog问题无限循环入门

问题描述

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

给出->

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).

谢谢您的帮助。

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)