问题标签 [prolog-findall]

我试图找到如何在脚本中找到解决方案的数量。我当前的脚本是：

更具体地说，在这个脚本中，我试图查看 prolog 为 8 个皇后生成了多少解决方案。有人能帮我解决这个问题吗？

例如，如果我有一个 Prolog 谓词，例如 a(A, B)。

bagof/3在给定 A 的值的情况下，是否可以在不使用内置谓词（例如or ）的情况下将 B 的所有在谓词 a 之后的值收集到一个列表中findall/3。

我想在一定时间内找到目标的所有解决方案。我的意思是我最多要搜索时限的解决方案，并返回所有找到的解决方案，无论是否达到了时限，这与解决方案列表是否完整无关。

我尝试了以下方法：

但是，如果达到时间限制，它不会返回找到的部分解决方案列表，并且“false”不能是依赖于 Sol 的表达式。

这个问题与Prolog: "findall" for limited number of solutions 有关，但我对最大搜索时间感兴趣，而不是最大数量的解决方案。

请问您对此有什么见解吗？

我有这个代码：

这是每个元素的含义：

T -> 列表标签列表 例如：[[a,b,c],[e,f,c],[c,d,e]]
H -> 列表标签 例如：[a,b,c]
no (Uid2,_,Tags2) -> 用户 ID + 是标签
N -> 具有这些标签的最小用户数

当我运行代码时， writeln() 工作正常，但最后我得到了这个错误

谁能解释我为什么会收到此错误以及如何解决相同的错误？

我想使用以下方法将列表的第一个元素添加到另一个列表：

但它返回错误。

有人知道为什么吗？