两个谓词的简单列表上的无限循环

是指在一个由两个谓词组成的简单列表中，这两个谓词之间存在无限循环的情况。

谓词是逻辑学中的概念，用于描述一个命题中的主语与谓语之间的关系。在计算机科学中，谓词常常用于逻辑判断和条件表达式中。

在一个简单列表中，谓词可以是任何逻辑表达式或函数，用于对列表中的元素进行判断或处理。当两个谓词在列表中相互依赖并形成循环时，就会出现无限循环的情况。

这种无限循环可能导致程序陷入死循环，无法正常结束或返回结果。为了避免这种情况，开发人员需要仔细设计和调试谓词之间的依赖关系，确保循环能够正常终止或避免出现。

在云计算领域，谓词的无限循环可能会导致资源的浪费和性能下降。因此，在设计和开发云计算系统时，需要注意避免谓词之间的无限循环，确保系统的稳定性和可靠性。

腾讯云提供了一系列与云计算相关的产品和服务，可以帮助用户构建稳定、高效的云计算环境。具体推荐的产品和介绍链接如下：

云服务器（Elastic Compute Cloud，ECS）：提供可扩展的计算能力，支持多种操作系统和应用场景。了解更多：腾讯云云服务器
云数据库（TencentDB）：提供高性能、可扩展的数据库服务，支持关系型数据库和 NoSQL 数据库。了解更多：腾讯云云数据库
人工智能（AI）：提供丰富的人工智能服务，包括图像识别、语音识别、自然语言处理等。了解更多：腾讯云人工智能
物联网（IoT）：提供全面的物联网解决方案，包括设备接入、数据管理、应用开发等。了解更多：腾讯云物联网
存储（Cloud Object Storage，COS）：提供安全可靠的对象存储服务，适用于大规模数据存储和备份。了解更多：腾讯云对象存储

请注意，以上推荐的产品和链接仅为示例，具体选择和使用需根据实际需求进行评估和决策。

两个谓词的简单列表上的无限循环

.], x <= y] 然后运行它，我有一个无限循环，我必须用CTRL +C取消它 *Main> mult 10 [2,4,6,8,10,12,14,16,18,20 你知道为什么这些谓词没有被正确解释吗

浏览 9提问于2021-07-06得票数 0

1回答

返回可能答案的列表

、

我有一个任务要做一个“简单”的聊天机器人，我现在的主要问题是在一个谓词中接收原子列表(Ex："good"，“上午”)，并且应该返回一个已经在结构中定义的可能答案的列表。此外，谓词需要筛选关键字，并且只返回包含给定列表中的关键字的答案。我试过检查列表中的元素是否已经在任何已定义的答案中定义。如果是，它将连接到

浏览 1提问于2019-11-12得票数 0

回答已采纳

3回答

prolog置换(？l，?L1)

、

L1)谓词。 permute([1,2], X).我试过这样的密码：permute1([X|Rest], L) :- select(X, L, L1).我很感谢你事先提供的帮助。

浏览 6提问于2014-05-28得票数 1

回答已采纳

1回答

我目前正在学习逻辑编程，并学习这种情况下的Prolog。我们可以有一个Knowledge Base，它可以引导我们找到一些results，而Prolog会进入无限循环，因为它扩展谓词的方式。查询p(john)将进入无限循环，因为默认情况下，Prolog扩展了统一的第一个谓词。但是，我们可以得出结论，如果我们开始扩展第二个谓词，那么p(john)是正确的。那么，为什么Prolog不扩展所有匹配<em

浏览 0提问于2015-04-29得票数 3

回答已采纳

1回答

我们能构造一个满足给定位谓词的无限列表吗？

、、、

如果我们有一个给定的谓词p :: [Bool] -> Bool，它以一个无限列表作为参数，并根据一些未知的条件返回True或False，那么我们不知道这个谓词是什么。我们能否计算出一个函数f :: ([Bool] -> Bool) -> [Bool]，它接受这样的谓词，并返回一个无限列表l，其中p l == True，假设谓词是可满足的。

浏览 11提问于2021-12-08得票数 5

回答已采纳

1回答

为什么在使用maplist和lambda和tilde项时有无限循环？

、

我有两个谓词使用 ( 中的倾斜项，lambda和func )执行相同的操作，最后使用lambda或func进行“纯Prolog”：:-所有谓词都应该打印335 (列表中字符串的长度)，其中三个谓词的操作正确。问题是，both_lambda_and_func/0不打印任何东西，似乎进入无限循环。你能告诉我是我做错了什么还是这是

浏览 2提问于2014-05-08得票数 4

回答已采纳

1回答

防止无限循环prolog

、、

我得到了以下问题：father(avr, yit).married(avr, sara).married(rivka我定义了以下谓词：mother(X) :- are_married(X,Y) , father(Y,_).现在，问题是母亲是由婚姻定义的，而婚姻是由母亲定义的-结果是一个无限循环，程序崩溃。如何防

浏览 0提问于2013-05-02得票数 1

1回答

将查询持久化到数据库的数据模型

、、、、

我被要求为报告应用程序构建本质上的查询生成器。我在这个问题和在本教程中上都看到过这些模型。但是，由于提前挑选一个好的模型感觉特别重要，我真的很感谢你的任何意见。编辑:以下是关于我正在使用C#和.NET Fr

浏览 0提问于2014-09-13得票数 2

1回答

使用递归复制列表时的无限循环

、、

基本上，我在这里要做的是做一个谓词“优先”，它从一个列表中获取第一个C成员，并以同样的方式从它们中生成一个新的列表。例如第一(a，b，c，d，e,3，R)。会返回R= a，b，c，现在我得到了一个无限循环，但找不到原因。谢谢你的帮助。

浏览 1提问于2016-12-07得票数 0

回答已采纳

2回答

处理复杂的prolog循环

、

我正在使用Prolog对我的一个项目中一些相当复杂的规则进行编码。有很多递归，包括相互递归。规则的一部分是这样的：pred1(X) :- someguard(X), pred2(X).在pred1和pred2之间有一个相当明显的无限循环。不幸的是，这些谓词之间的交互非常复杂，很难隔离。我能够通过传递一个传递给pred1的对象列表来消除这个实例中<e

浏览 5提问于2015-11-06得票数 5

回答已采纳

1回答

如何递归地使用Racklog提供的元素形成列表？

、

我开始阅读关于Racklog的文章，Racklog在某种程度上是Racket的逻辑编程扩展，到目前为止，我知道我可以通过以下方式来实现很好的谓词和目标： (%rel当我使用指示%和%多开始显示目标是否实现时，如下所示：((c . moka)) ((c . turkish)) 直到它到达#f，当没有更多的谓词要评估时因此，我想知道是否可以从这些谓词计算中提取结果，并递

浏览 9提问于2022-06-05得票数 0

回答已采纳

4回答

一个适用于大数的正整数/1谓词

、、

在我的Prolog启发的语言中，有可能标记具有无限域的CLP(FD)-equivalent变量。实现这种标签化的代码可以找到 (感谢Markus @mat)。此谓词要求存在谓词positive_integer/1，该谓词必须具有以下行为： -时间(positive_integer(100000))。%5推断，0.000 CPU在0

浏览 4提问于2016-08-31得票数 4

回答已采纳

2回答

交换参数

我想确保制造product_Z的半产品(即product_A和product_Y)是真的，不管它们在查询中的位置如何。Prolog应该将其视为等价物(相同)--即使我没有将这两种情况作为事实放入Prolog的数据库中。换句话说，我希望参数(product_Z和product_Y)在查询中是可交换的。但是，当我将代码放在开头时，Prolog似乎重复了一个无限循环。那我怎么能做到这一点呢？

浏览 5提问于2015-11-19得票数 1

回答已采纳

1回答

创建多个共享数据的运行循环

、、

我每5秒从服务器获取一次数据，更新一个列表。此外，我还听到了按钮按下的声音。因此，我需要的是两个独立的循环(通过GPIO拉取数据和监听Raspberry Pi上的物理按钮)，并且这两个循环都需要访问共享列表。对于一个循环，我可以使用一个带有time.sleep(5.0)的简单while = True，但是我如何同时使用两个<em

浏览 19提问于2016-07-28得票数 0

2回答

Java:组合多个谓词

、、

在Java中，有没有一种将多个谓词(Guava谓词)组合成一个谓词的简单而优雅的方法？目前，我有一些谓词列表：我有一些代码循环遍历谓词，如果其中任何一个为false，则返回false。有没有一行程序可以完成同样的事情呢？

浏览 0提问于2011-11-08得票数 10

回答已采纳

1回答

在Curry中，如何求逆函数来终止？

在Curry中有一个简单的列表反转函数(它也适用于Haskell )：rev [] = []让我们试着反演这个函数，即找到反转为1.5的列表l。然而，它进入一个无限循环，寻找更多的解决方案。下面是Prolog中的一个等价谓词：rev([X | L], M) :- rev(L, LR)

浏览 3提问于2021-03-19得票数 0

回答已采纳

3回答

无限列表的有限理解

我在ghci中输入了以下内容，认为会发生两种情况之一：( 1)解释器会挂起，在无限列表中的每个成员中搜索与谓词的匹配；或( 2)通过Haskell jujitsu后面，解释器会不知怎的发现序列在4点结束并停止事实上，是否有一个谓词从无限列表中产生有限的理解？

浏览 3提问于2012-04-26得票数 18

回答已采纳

1回答

简单的上腔无限循环

、、、

简单的上腔无限循环有什么建议吗？我的编程环境是linux、emacs、汇编、at&t语法。

浏览 1提问于2011-03-28得票数 1

回答已采纳

1回答

简单博弈上的无限循环

我在JavaScript中尝试一个简单的游戏，它在龙的“命中”中循环，直到龙被杀死。游戏运行良好，但是如果结果是失败的，即youHit = 0，那么脚本就会陷入无限循环。我知道无限循环是由最终的slaying = true语句引起的(如果为false，则游戏停止，脚本必须再次运行)。我的问题是，如何在不陷入无限循环的情况下，<

浏览 2提问于2015-10-25得票数 1

回答已采纳

1回答