序言超出本地堆栈空间/无限递归

Question

我已经在该网站上阅读了其他类似的问题和答案，但似乎找不到我特定问题的答案。 我正在尝试在Prolog中编码一个迷宫。 从区域0，您可以自由移动到区域1或区域3。从区域3，您可以自由移动到区域0，区域4或区域5，依此类推。我想找到从头到尾长度为7的所有路径。结束（从0到14）。 我在SWI-Prolog中以以下方式编码了问题：

    region(0).
    region(1).
    region(2).
    region(3).
    region(4).
    region(5).
    region(6).
    region(7).
    region(8).
    region(9).
    region(10).
    region(11).
    region(12).
    region(13).
    region(14).
    region(15).

    connection(0,1).                %connection exists between these two regions
    connection(0,3).        
    connection(1,2).
    connection(1,8).
    connection(1,7).
    connection(3,4).
    connection(3,5).
    connection(7,9).
    connection(7,5).
    connection(7,8).
    connection(5,6).
    connection(8,10).
    connection(8,11).
    connection(11,12).
    connection(11,13).
    connection(13,15).
    connection(13,14).

    double_link(X,Y) :-
       region(X),
       region(Y),
       ( connection(X,Y) | connection(Y,X) ). %can go from region X to region Y, and vice versa

    path(X,Y) :-
       double_link(X,Y).
    path(X,Y) :-
       double_link(X,Z),
       path(Z,Y).

当我执行path(14,0). 我是true 。 但是，当我执行path（0,14）。时，我用完了本地堆栈空间。 我不知道怎么回事。 谢谢你的帮助！

Answer 1

你说：

当我执行path(14,0). 我是true 。

那是事实的一半！ 哦，比这还少！ 其实你true不是一次，而是很多次！

?- path(14,0).
true ;
true ;
true ;
true ;
true ;
true ...

有一个简单的避免输入的方法; 或一直保持空格 。 只需将目标false 。

?- path(14,0), false
    **LOOPS**

现在，您还可以在程序中添加这些false目标。 通过这种方式，您可以排除程序的某些部分； 如果其余部分仍然循环播放，则说明那里一定有问题。 这就是我得到的：

region(0) :- false.
% ...
region(12) :- false.
region(13).
region(14).
region(15) :- false.

connection(0,1) :- false.
% ...
connection(13,15) :- false.
connection(13,14).

double_link(X,Y) :-
   region(X),
   region(Y),
   ( connection(X,Y) ; connection(Y,X) ).

path(X,Y) :- false,
   double_link(X,Y).
path(X,Y) :-
   double_link(X,Z),
   path(Z,Y), false.

因此，在其余部分中，必须解决该循环。 现在应该不言自明了，不是吗？

Answer 2

出现问题是因为您可以在迷宫中盘旋。 例如，在您的迷宫中，连接0 - 1 - 7 - 5 - 3 - 0 。 您尚未采取任何措施来确保搜索不会盲目追踪这些圈子。

通常的方法是在您的路径谓词中添加一个参数，其中包含已经访问过的区域（最初为空）。 然后，您必须确保在转到新位置X X不在该列表中（例如，具有nonmember(X,Visited) ）。