1回答
我有这个问题，我需要给出一个解决方案，以避免在两个子句中递归调用f(T,S)：f([H|T],S):- S1>=2,
!我不明白这是做什么的..。我真的不知道如何才能避免这种递归调用。请帮我找个解决方案
浏览 1提问于2014-01-12得票数 1
1回答
假设我们有两个版本的递归函数，其中一个是尾递归函数。如果所使用的语言没有尾部调用优化，那么使用函数尾递归有什么好处吗？据我所知，在没有优化的情况下，函数的每个版本(尾部和非尾部)将使用相同数量的堆栈框架(在大多数情况下)。我知道在某些情况下，例如Fibonacci函数，即使没有尾部调用优化，使用尾部调用也会更有效率，因为它避免了双重调用。但是，如
浏览 14提问于2021-03-01得票数 0
1回答
((>(F(car l))0)(+(car l)(F(car l))(F(cdr l)))) )我希望防止使用lambda函数在cond的第二行中双重调用递归函数此外，我也不确定这是否正确地避免了双重递归调用。
浏览 5提问于2020-02-12得票数 0
2回答
嘿，我对prolog递归和迭代有点困惑。我分别给出了递归和迭代中列表之和的代码，并想知道它们是否正确.如果我错了，请纠正我。
浏览 5提问于2013-09-25得票数 0
回答已采纳
我想知道是否有任何Prolog实现允许在子句中使用左递归。我的直觉是，如果实现使用广度优先的目标搜索，它可能会支持左递归。但我不是很确定。请注意，我并不太关心效率。
浏览 2提问于2013-06-03得票数 4
回答已采纳
1回答
给定以下PROLOG谓词定义f(整数，整数)，并使用流模型(i，o)：f(I,Y):- f(J,V), !重写定义以避免这两个子句中的递归调用f(J，V)。不要重新定义谓词。证明你的回答是正确的
浏览 5提问于2022-01-08得票数 -2
1回答
我正在尝试用prolog为prolog编写一个元解释器，它将在给定的prolog程序中返回最大达到的递归深度。rc( true, 0) :- !.%add counters
我必须以某种方式跟踪每个单独的递归路径，并比较它们的深度，但在prolog中定义这一点时遇到问题。谁能给我
浏览 1提问于2011-07-07得票数 2
回答已采纳
1回答
基于构建命题谓词的问题，现在我想使prolog中的双重否定成为可能。不幸的是，我建立了:调用(？:-命题(-a))会导致语法错误。
有没有办法解决这个问题而不损失我的操作员-？
浏览 0提问于2020-09-19得票数 0
回答已采纳
下面的代码是一个DCG，用于在Request中使用/ Replace替换所有出现的Find，并将答案放在Result中。感谢mat在中的代码。replace(_, _, A, B) :-
call(eos, A, C), !这段代码是尾递归的吗？在谓词replace的第二个定义中，在递归调用<
浏览 1提问于2011-06-22得票数 3
回答已采纳
1回答
我想用尾递归在prolog中展平一棵树，我已经用递归调用的追加列表做到了这一点。我想优化我的版本。这是我的函数，它使用了递归调用。我想让它的尾部调用得到优化。我是prolog新手。提亚
浏览 2提问于2016-11-29得票数 2
我是Prolog的新手。我理解Prolog中的基本递归，比如append，member。 我想知道如何在不使用Prolog中的内置函数的情况下递归地打印列表。 有人能帮我吗？
浏览 9提问于2019-10-10得票数 0
回答已采纳
2回答
在的帮助下，我开始使用Prolog，并且在理解prolog如何处理递归方面有一点困难。% executed in the Prolog interpreter:X = 6
我理解这段代码正在做什么，但我对Prolog如何解析sum的递归调用有点挂念。主要是，我感到奇怪的是，在sum中没有显式的“返回”。我的理解是这样的</
浏览 4提问于2014-05-26得票数 4
回答已采纳
1回答
递归列表创建
、、
我被SWI-prolog中的列表所困扰。在Prolog中，一个变量只能写一次，所以我不能处理这个问题。get_ Res /3给了我一个中间的结果，我用来作为check/3的递归用例的输入。所以在result中，我必须对每个递归调用都有Res。我试图在递归调用之前使用append(Parameter，[]，Result)，但是第
浏览 13提问于2019-02-18得票数 0
回答已采纳
2回答
我正在使用Prolog对我的一个项目中一些相当复杂的规则进行编码。有很多递归，包括相互递归。规则的一部分是这样的：pred1(X) :- someguard(X), pred2(X).在pred1和pred2之间有一个相当明显的无限循环。不幸的是，这些谓词之间的交互非常复杂，很难隔离。我能够通过传递一个传递给pred1的对象列表来消除这个实例中<e
浏览 5提问于2015-11-06得票数 5
回答已采纳
2回答
从Bratko的书，，我们有下面的代码不起作用- anc4(X,Y),anc4(X,Z):-我不明白的是，prolog首先对anc4(X，Y)进行递归调用，而不是对父(Y，Z)进行递归调用。为什么prolog不
浏览 0提问于2018-09-07得票数 3
回答已采纳
我在试着逆转Prolog中的一个列表。当我用['item1', 'item2']调用它时，它工作得很好，但是当我用['item1'|'item2']调用它时，它就不能工作了。我在Prolog的初级阶段，但我认为这两个符号本质上是可以互换的？问题是当使用列表的尾部进行递归调用时
当我用list ['item1&#
浏览 3提问于2015-02-21得票数 1
回答已采纳
1回答
我的代码可以达到预期的目的，但在结束时总是陷入循环，给我一个错误，提示我"Stack limit exceeded“。我的代码如下： byCar(auckland,hamilton).byCar(valmont,saarbruecken).
byCar(valmont,
浏览 21提问于2020-08-12得票数 1
1回答
我很难真正理解Prolog列表和递归调用。我一直在编写一个程序来跟踪有多少项大于列表的首项，然后递归地调用这个关系来检查大于下一个元素的值，等等。^我的理解是，这种关系从列表中获取head元素，并使用head和列表的其余部分调用greaterThan。如果头大于下一个元素，增加计数并使用尾和新计数递归调用greaterThan；否则递归调
浏览 1提问于2020-11-17得票数 1
回答已采纳
云服务器
ICP备案
对象存储
实时音视频
云直播
腾讯云开发者
