Prolog - bagof -无结果的情况

Prolog是一种逻辑编程语言，它基于一种称为谓词逻辑的形式化逻辑系统。在Prolog中，我们可以使用一组事实和规则来描述问题的逻辑关系，并通过查询来获取满足这些关系的解。

bagof是Prolog中的一个内置谓词，用于从一个目标中获取满足特定条件的结果集合。它的语法形式为bagof(X, Goal, List)，其中X是变量，Goal是目标，List是结果集合。bagof会在Goal的求解过程中，收集满足Goal的所有解，并将这些解存储在List中。

在使用bagof时，有可能出现无结果的情况。这种情况通常发生在Goal中的变量与查询数据库中的事实或规则无法匹配时。当无结果时，bagof将返回一个空的结果集合。

Prolog中的bagof可以用于各种场景，例如在数据库中查询满足特定条件的数据集合、生成所有可能的解集等。在云计算领域中，bagof可以用于处理和分析大量的数据，进行数据挖掘、统计分析等任务。

腾讯云提供了一系列与数据处理和分析相关的产品，例如腾讯云数据仓库（TencentDB for TDSQL）、腾讯云数据湖（TencentDB for TDSQL）、腾讯云数据集市（TencentDB for TDSQL）等。这些产品可以帮助用户在云端高效地存储、管理和分析数据，提供了强大的计算和存储能力，以满足各种数据处理和分析的需求。

更多关于腾讯云数据处理和分析产品的信息，您可以访问腾讯云官方网站的相关页面：

页面内容是否对你有帮助？

有帮助

没帮助

Prolog - bagof -无结果的情况

prolog

我想创建查询来获取活动的所有参与者。所以我使用了bagof：activity_participants_list(Activity_Name,List) :- ( bagof(X, participate(X,Activity_Name)但我想在查询时获取List = []：activity_participants_list(dancing,List) 因此，我在函数的末尾添加了; List = []，但在查询时我也得到了一个空列表作为答案我也想得到一个空列表的瑜伽，作为对activity_parti

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

回答已采纳

2回答

使用toplevel在SWI中获得多个解决方案

prolog、prolog-toplevel

我是SWI方面的初学者(但在Borland方面有一些经验)，对于下面的测试代码，我遇到了一些奇怪的行为：test(1).提前感谢

浏览 1提问于2017-06-04得票数 8

回答已采纳

2回答

为什么swi中的findall/3忽略变量绑定？

prolog、prolog-setof、prolog-findall

但是，当我希望所有元素共享相同的未绑定变量(而不是a)时，事情就不会像我们想象的那样工作了： ?

浏览 1提问于2014-12-07得票数 2

回答已采纳

1回答

bagof/3不可预测

prolog、prolog-setof

我正在使用SWI-Prolog。?- bagof(Q, (Q=A, (A in 1..5 ; A in 3..8)), X).A in 3..5.奇怪的是，这一次将算术约束放在一起，但没有答案A in 1..5, X=[A]和A in 3..8, X=[A]。?- bagof(Q, (Q=A, ((1

浏览 2提问于2019-03-02得票数 3

1回答

prolog中的setof之和

sum、prolog、set

我有这个断言来得到一个国家所有边界长度的总和。我可以用findall解决这个问题，但我必须使用setof。我的事实是这样的：borders(norway,sweden,1619).我的代码 findall(X, ( borders(Country, _, X) ; borders(_, Country, X)),

浏览 2提问于2021-10-17得票数 1

1回答

在prolog中构建列表

list、recursion、prolog

我是prolog的初学者，我正在尝试返回一个结果列表。假设我有属于一个人的物品。项目(person1、橙色)。我希望能够创建一个函数，该函数可以返回属于该人员的物品列表。目前我有：这只返回第一项。我怎样才能让它返回属于这个人的所有物品的列表？谢谢。

浏览 1提问于2013-06-07得票数 0

回答已采纳

2回答

如何在Prolog回溯过程中获取值列表？

prolog、backtracking

现在，当我这样做的时候我可以将邻居的列表打印到控制台。但是我怎么才能把它作为结果列表呢？(由于member的处理方式，上面的代码并不能正常工作。有什么建议吗？

浏览 0提问于2010-10-15得票数 0

回答已采纳

1回答

Swi Prolog:如何使用规则(而不是查询)来计数元素数

prolog、swi-prolog

我期望的答案是Y将显示2(因为有子和child2)或类似的东西。谢谢。

浏览 4提问于2021-06-11得票数 0

回答已采纳

2回答

Prolog逻辑难题与约束程序设计

prolog、logic、constraint-programming、zebra-puzzle

我有一个家庭作业，要用prolog定义10个事实来解决这个难题。我已经定义了8个约束，并将我的解空间减少到15个，但我不知道如何定义最后两个事实。例如，我针对事实10尝试了这样的解决方案。这减少了解决方案空间，但之后它仍然包含这些不应该在简化的解决方案集中的元素。对不起，我的英语，这不是我的第一语言。

浏览 4提问于2014-10-08得票数 3

2回答

在prolog中重复数字，看看有多少

prolog

请编写Prolog代码以在列表中查找此不规则数字。例如:对于列表‘(2 3 2 4 1 6 1 3 6)，查找的不规则数字是4。

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

1回答

未在Prolog和使用袋中

prolog

我有这样的数据库：movie(terminator, cameron, thriller).?- movie(X,not(abrams),fantasy).还有一个问题是，什么样的电影不是惊悚片： ?接下来的问题是，我需要使用基于bagof的谓词direct(

浏览 1提问于2014-11-22得票数 0

回答已采纳

8回答

仅对副作用使用bagof/3

prolog

用Prolog解决一个非常简单的练习:打印从1到100的所有数字，但如果数字是3的倍数，则打印'Fuzz‘，如果是5的倍数，则打印'Buzz’，如果两者都是，则打印'FizzBuzz‘。write_fb(X) :- bagof(_, fb(X), _).fb(X) :- X rem 5 =:= 0, write但是，是否有任何谓词或控制结构可以避免仅出于副作用

浏览 0提问于2013-01-11得票数 1

1回答

prolog中的表达式

prolog

关于在prolog(正则表达式)中实现一些谓词，我有一个问题。我需要实现4个谓词sublist( Sublist, List ) :- append( [_, Sublist, _], List ).%true if there are 1 or more occurences of List现在我的问题是。我不知道如何实现更多的事件。如果我想把它称为匹配(这里会有更多的表达式，S)，例如，length(S,3),match([star[1],opt[2

浏览 1提问于2022-03-20得票数 0

2回答

Prolog中两个元组列表的交集

list、prolog

我试图使用intersection()函数在Prolog中找到两个列表的交集。不幸的是，我的代码给出了不理想的结果。所需的输出是('6:00 pm - 8:50 pm', 'R')，但是代码返回RESULTA = AB, AB = [].RESULTA和RESULTB实际上是由bagof()操作生成的。我的实际代码是： 1 ?- bagof

浏览 3提问于2014-03-10得票数 1

回答已采纳

1回答

在prolog中建立递归列表

list、prolog、rule、recursive-datastructures

我正在尝试用prolog编写一条规则，它要求我递归地构建一个列表。我能够建立这个列表，但问题是我不知道如何停止这个建立列表的过程。因此，我需要编写一条规则，停止进一步构建该列表。这就是我的规则：member(X,[H|T]) :- member但是，它使用了部分不完整的makelist规则。具体地说，makelist的第一部分需要完成，这意味着何时应该停止构建列

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

2回答

Prolog中的bagof/3问题

prolog、gnu-prolog

据我所知，可以使用谓词setof/3和bagof/3，生成解决问题的解决方案列表。。?编辑:解决方案% selectFLR(?----------------------------------------

浏览 1提问于2011-06-10得票数 2

回答已采纳

3回答

如何将函数的输出转换为列表？

list、prolog

我有一个输出符合特定约束的名称的函数。这个函数很好用。%p

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

2回答

从prolog谓词中获得多个答案

prolog、prolog-setof

我如何才能获得foo在另一个谓词中给出的Out的所有值，记住它有时会给出一个值，有时会给出多个值(例如在列表中)？?- foo(5, Out).Out = less_than_ten?- foo(5, Out).

浏览 7提问于2018-11-29得票数 1

1回答

prolog -根据标准根据事实创建列表

list、prolog、fact

我试图根据中的事实创建列表。有大量的exapmles，但我不知道如何通过创建list。你可以在下面看到我的代码。谓词提取不像我预期的那样工作。% vim: ft=prolog depos(vtb, 2000, 2).depos(psb, 4000, 4).extract(X, From, Before, Ls) :- bagof(X, critRate(X, From, Before), Ls).

浏览 1提问于2020-02-16得票数 1

1回答