Prolog超出本地堆栈错误

Question

我尝试了一本书中的一些基本示例，它使“ Out of local stack”错误（在代码后再讲）。 这是代码：

edge(a,b).
edge(a,e).
edge(b,d).
edge(b,c).
edge(c,a).
edge(e,b).
tedge(Node1,Node2) :-
    edge(Node1,SomeNode),
    edge(SomeNode,Node2).
edge(X,Y) :- tedge(X,Y).

例如，我尝试编写查询edge（a，b）并返回true，然后输入“;” 它导致了错误。 这是什么问题

Answer 1

问题是您已经以循环方式定义了边。 寻找从a到b的第二条路径时，Prolog遍历tedge(a,VAR) ， edge(a,VAR) ， tedge(a,VAR)等。

请注意，即使没有将边定义为对称，Prolog也会循环，即由于循环a- a -> b -> c -> a 。

解决方案是跟踪先前已访问过的顶点和/或边缘。 可以使用closure0 / 3 （我从SO用户false中学到的谓词）直接执行检查非重复顶点的操作。 如果使用该谓词，则仅需要edge/2事实和以下查询：

?- closure0(edge, a, b).