Question

以下是我在知识库中的事实（http://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/recursion.html（递归练习2））：

taller(bob,mike).   % bob is taller than mike
taller(mike,jim).   % mike is taller than jim
taller(jim,george). % jim is taller than george

现在我想使用递归推断显而易见的东西＆＃34; bob＆＃34;高于乔治＆＃34;。

我尝试添加此规则来解决此问题：

taller(X,Y) :- taller(X,Z),taller(Z,Y).

我需要你的帮助才能使这个递归停止，因为现在我有一个堆栈溢出错误：

| ?- taller(bob,george).

Fatal Error: local stack overflow (size: 8192 Kb, environment variable used: LOCALSZ)

由于

Answer 1

问题在于您的递归taller/2谓词定义为：

taller(X,Y) :-
    taller(X,Z),
    taller(Z,Y).

因此，taller/2谓词可以总是在“调用堆栈”上产生两个新的taller/2谓词，可以这么说，这个嵌套可以继续上。

处理此问题的一种方法是将知识与传递闭包分开。通过定义is_taller/2谓词，计算taller/2谓词的传递闭包，如：

is_taller(X,Y) :-
    taller(X,Y).
is_taller(X,Y) :-
    taller(X,Z),
    is_taller(Z,Y).

现在有“保证进展”可以这么说，因为每次调用is_taller/2时，它都会调用taller/2。由于taller/2没有递归，因此可能的答案数量有限。由于taller/2是严格的订单关系，因此我们最终会到达最短的人，因此回溯将会耗尽。

所以完整的代码应该是：

taller(bob,mike).   % bob is taller than mike
taller(mike,jim).   % mike is taller than jim
taller(jim,george). % jim is taller than george

is_taller(X,Y) :-
    taller(X,Y).
is_taller(X,Y) :-
    taller(X,Z),
    is_taller(Z,Y).

在prolog中停止递归的条件

1 个答案: