Prolog"超出本地堆栈"错误

Question

这是我简单的Prolog程序:

friend(X,Y):-
   knows(X,Y).
friend(X,Z):-
   friend(X,Y),
   friend(Y,Z).

knows(brian,tom).
knows(tom,peter).

如果我键入以下查询

friend(brian,peter).

Prolog将提供以下输出:

?- friend(brian,peter).
true 

如果再输入一个分号,Prolog会说:

ERROR: Out of local stack

我在这做错了什么？

Answer 1

错误在第二个子句中.它应该是:

friend(X,Z):-
   knows(X,Y),
   friend(Y,Z).

否则,当您向Prolog请求更多解决方案时,您最终会在friend/2没有首先建立knows/2中间关系的情况下以递归方式调用自己.您可以通过跟踪对friend/2谓词的调用来了解有关程序中的错误的更多信息.尝试:

?- trace, friend(brian,peter).