Prolog查询:加法对递归查询有什么影响

文章/答案/技术大牛

发布

1回答

prolog

它适用于诸如nth([1, 2, 3, 4, 5], 0, X).之类的查询，但对于诸如nth([1, 2, 3, 4, 5], N, 1).之类的查询，在我输入";“之后，在获得答案之后，我得到了一个我知道在这种情况下只会有1个ans，但为了完整起见，我想知道为什么。我在stack overflow here上读到以下是一个更好的解决方案： nth([X|_], 0, X) :- !.在我的回答中，我想了解为什么M is N-1, nth(Y, M, Z).与nth(T, M, Z), N is M + 1相

浏览 6提问于2020-11-22得票数 1

回答已采纳

1回答

如何修复这个递归加法？

recursion、prolog、addition、successor-arithmetics

我对逻辑编程和Prolog很陌生。下面的Prolog程序定义了一个谓词add/3，用于将第一个参数乘以第二个参数，这将导致第三个参数，它基于等于(x−1) +y= (z−1)的方程x+y=z： number但是，假设这个查询是求解方程1+0= z的，它不返回预期的结果(1)： false. 如何修复这个递归加法？

浏览 4提问于2021-07-30得票数 1

回答已采纳

1回答

理解特定Prolog递归谓词的问题

recursion、prolog

我正在学习Prolog。加法(0，Y，Y)。加(X，Y，Z)。add(succ(succ(succ(0))), succ(succ(0)), R).Prolog将实例化，从而将R返回为succ(succ(succ(succ(succ(0)))))。很好。这肯定是对的。不过，我不知

浏览 0提问于2011-01-15得票数 1

回答已采纳

3回答

理解Prolog中的递归规则与统一

recursion、prolog、unification、successor-arithmetics

“之后开始学习Prolog的学生。一套教程。我正在尽我最大的努力去掌握概念和词汇。我一直能够理解所有的事情，直到第三章关于递归定义时，提出了这个问题：numeral(succ(X)) :- numeral(X). numeral(X).现在，我了解到这个程序的思想是Prolog将开始按如下顺序在这个系统中计数数字X=succ(0)但我不明白是什么原因导致它“缩小”并每次提升。我理解统一的原则，因为程序试图统一X的

浏览 5提问于2015-03-12得票数 1

2回答

堆栈跟踪Prolog谓词

algorithm、recursion、prolog、backtracking

我有一个用Prolog编写的非常简单的min函数，我不明白它是如何工作的。我们刚刚开始在类中使用Prolog，我不明白它是如何计算这种递归案例的。我在这个函数中包含了print语句，以查看发生了什么，我不理解这里的一些步骤： 10 ?我理解前两个电话，但我不知道在case 1: 1行之后会发生什么。为什么它会在第3行调用第二种情况min(E, [E|L])之后转到案例1，min(E, [E])？这在代码中的任何地方都是不符合的。如果有人能解释一下前两个电话之后发生了<e

浏览 3提问于2014-02-21得票数 0

回答已采纳

1回答

如何理解Prolog中的递归搜索？

prolog

下面是一节Prolog代码，以递归的方式定义数字：numeral(succ(X)) :- numeral(X).yes 根据我所了解到的，在执行查询时，prolog首先将X变成像(_G42)这样的变量，然后搜索事实和规则来找到匹配项。我不确定我对这一

浏览 1提问于2018-10-09得票数 2

回答已采纳

1回答

Prolog: a(b，c) and a(X，Y):-a(Y，X)，查询a(c，b)返回无限真？

prolog

下面是我的查询：a(c,b).我的想法是:首先，X绑定到b，Y绑定到c。然后，Prolog测试a(b，c)并发现这是真的。因此，a(c，b)也是真的，并且SWI-Prolog应该打印一次真。然而，由于只要我继续点击分号，它就会永远打印为true，这让我认为发生了某种递归。这是在哪里

浏览 0提问于2012-05-16得票数 3

回答已采纳

1回答

Prolog，置换码理解

list、prolog

我试着理解这个列表[1,2,3]是如何工作的，所以，我有perm([1,2,3],X).和takeout(1, Z, [2, 3])，它给了我们第一个答案，Z = [1, 2, 3] 这里我不知道为什么程序不结束，递归完成了，那么为什么takeout和perm又开始工作了？，这是我的第二个问题，为什么？

浏览 2提问于2015-11-13得票数 0

回答已采纳

1回答

Prolog列表连接

prolog

我正在学习Prolog，我偶然发现了这段代码，我无法理解它：append([],Ys,Ys).为什么Zs被改变；如果事实是append([],Ys,Ys)，Zs应该等于[3,4]，那么如果它已经服从事实，为什么要以任何方式改变它呢？为什么，即使我不使用write()，控制台也会显示Ys = ...？以及为什么Ys而不是Xs或

浏览 1提问于2015-07-05得票数 1

回答已采纳

1回答

prolog中带有尾递归谓词的数的乘积

prolog、product、tail-recursion

我试图在Prolog：product(A,B)中编写一个尾递归谓词，如果B是list A中数字的乘积，则这是正确的。我对Prolog中的列表非常陌生，所以我想问一下什么是最好的方法。查询应该如下所示：B = 6.

浏览 1提问于2017-12-09得票数 1

回答已采纳

2回答

如何在Prolog中给列表一个id？

prolog

Hi，我的问题是:为什么?假设我们有一个定义的谓词member/2，它递归地检查一个元素是否存在于一个列表中，因此我们的查询应该是这样的： false ?

浏览 0提问于2015-10-17得票数 1

回答已采纳

3回答

在Prolog中快速运行

prolog、logic、predicate

我的公司有一个用Prolog运行的项目，我想澄清一些关于如何学习它的事情。我知道Prolog是不同的。它不应该像任何其他语言一样被学习。话虽如此，考虑到我还没有接触到任何Prolog书籍的事实，有没有任何书籍或在线资源，在那里我可以学习Prolog，就像我们学习C/C++一样？这样我就可以学习Prolog了吗?有没有哪本书能让我知道如何用Prolog编程？(基础，循环，如何实现条件，程序结构，什么是谓词？怎么用？如何定义它？依此类推...)。

浏览 3提问于2010-01-02得票数 17

回答已采纳

1回答

简单prolog示例中的意外回溯

prolog

使用simple，特别是swish.swi-prolog.org，下面的简单查询将生成正确的答案true，但也会出现回溯，然后说false。我自己(诚然是学生)的理解是，prolog只会回溯到在查询时未绑定的变量的附加值。在这里，递归定义的第一条规则中没有在查询时未绑定的变量：ancestor(X,Y) :- parent(X,Y)。我可以理解prolog在递归定

浏览 6提问于2022-09-25得票数 0

1回答

用prolog实现符号传播算法

algorithm、prolog

我是prolog新手。我已经学习了用于概率推理的定性概率网络(QPN)。QPN是一组统计变量之间的概率影响的图形模型，其中每个影响都与一个定性符号相关联。QPN中用于推理的算法是符号传播算法，如下所示：输出:证据节点O对网络中每个节点的影响的符号此算法适用于定性符号乘法和加法表(抱歉，我在这里放置这些表有问题)。我想用<em

浏览 0提问于2011-02-08得票数 1

1回答

有人能解释一下prolog如何一步一步地解释这个问题吗？

prolog、prefix

嗨，我正拼命地试着从我的理解中了解这个片段，它设置了变量X:1，Z:[2,3]。现在我再也找不到..。prefix([X|Y],[X|Z]):-prefix(Y,Z).

浏览 0提问于2018-01-20得票数 1

回答已采纳

1回答

什么时候prolog返回失败？

prolog

用您自己的话说，当prolog为查询返回失败时，可以得出什么可能的结论？我从来没有遇到过prolog返回失败的情况。我只能假设当通过回溯遇到错误时，它可能会返回fail？

浏览 2提问于2013-04-26得票数 0

1回答

PROLOG中的递归？

prolog

鉴于以下Prolog事实：f(b, [c]).f(d, [e]).我想，也许我可以将这两行添加到上面查询的末尾，但这并不像我所希望的那样工作。由于前面的免费查询成功地检索了a的依赖b，所以我希望接下来的两行可以对b和on执行相同的操作。但是，我不认为这是一个好的方式来接近它也许。也许递归是个更好的主意。在这种情况下，对x

浏览 1提问于2015-03-04得票数 2

回答已采纳

4回答

为什么prolog要在简单的经典成员/2实现中创建选择点？

prolog

这个具体的一个是从开创性的学习Prolog现在。?- member(1, [1,2,3]).?- member(1, [1,2,3]).false.Q.为什么结果不仅是真的，而且是真的，然后是假的？，是什么导致prolog在成功地与第一个(非递归的)规则匹配之后回溯的？ SWI-Prolog MacOS实现和联机SWI实现都给出了上述结果。

浏览 16提问于2022-08-25得票数 2

回答已采纳

1回答

Prolog初学者错误:退出本地堆栈

prolog、transitive-closure

我对Prolog编程非常陌生。任何帮助都是非常感谢的。我有以下程序，bigger(horse, donkey).bigger(donkey, monkey).在运行查询时，我得到了以下输出，A = elephant ;虽然我确实有点理解A=马和A=大象，但我很难理解为什么它会无限地递归

浏览 2提问于2020-09-20得票数 0

1回答

当特定域的权威DNS服务器(名称服务器)只有一部分可从Internet访问时，DNS解析处理

domain-name-system、dns-zone、dns-hosting

我想要求对以下情况/情景作出一些澄清。我的理解是，<em

浏览 0提问于2020-06-02得票数 0

点击加载更多