问题标签 [eclipse-clp]

我有这个约束：

和P=[1,2,3,4,5,6,7,8,9,10] and V=[V1,V2,V3,....], V::0..1

我想用N元素（基数P和V将是N）以动态方式实现这个约束。

如果我用一个循环来实现它，我会遇到实例化问题，因为V此时代码尚未标记。

解决了

我已经使用B #> P*V直接在 CLP 中实现的标量产品解决了这个问题。

我已经使用 ECLiPSe 解决了有关在会议中分配文章的问题。目标是：相似的文章应该在同一个会话中。这是适用于 ECLiPSe 的解决方案：

在 prolog 中，问题是约束的定义和标签。我知道 ECLiPSe 使用传播算法，但在序言中我必须使用回溯策略。

如何在 prolog 中移植此代码？

我是 eclipse CLP 的新手，我想实现一个谓词，让所有角度都等同于特定的正弦函数，比如

我知道这个方案可能适用于变量的整数值；所以我需要一个也使用 CLP 的替代解决方案。

我是 Eclipse 的新手，我一直在尝试读取文件流但没有成功。我通常在 SWI-Prolog 中使用的代码是这样的：

但read_line_to_codes显然在 Eclipse 中不可用。有什么好的选择呢？

在 SWI-Prolog 中，我使用了模块文本文件开头的代码：

我不想更改我的代码。我怎样才能永远使用 ECLiPSe Prolog (*)。是否有一些库 module/2在 ECLiPSe Prolog 中定义指令？

此致

(*) http://eclipseclp.org/

我正在尝试运行以下测试用例：

以上适用于 SWI-Prolog。但是我在使它在 ECLiPSe Prolog 中工作时遇到了问题。我收到以下错误：

我没有导入 abc:uvw/1，它也不存在。周围的任何标志都允许在 ECLiPSe Prolog 中成功运行 test/0 吗？

最好的祝福

编辑： PS：以下措辞也不起作用：

然后一个只会收到以下错误消息：

我必须写一段序言，我必须计算数组中的哪个位置用于存储值。然而，这些计算的结果应该返回一个整数，所以我使用floor/1谓词来获取值的整数，但这在我的代码中不起作用。它不断返回一个带小数点的数字，例如 3.0 而不是 3

以下是我的代码：

的结果Sum is floor(Col + Row + 1)永远不是整数，我不知道为什么。谁能帮我这个？

所以我在尝试使用 Prolog 从列表中获取单个元素而不使用递归时遇到了麻烦，只依赖于循环，例如 foreach、foreachelem 等。

所以我有一个列表 Xs = [1,2,3]，我想单独获取每个元素。到目前为止我想到的最好的是这个......

这是迄今为止我所拥有的最好的......所以我想知道，如何为 Max 创建某种可用于最终计算的占位符？

所以在我开始之前，这里有一个问题：

我有一个示例 List Xs = [1,2,3] 和 List Ys = [2,3,4]。这两个列表中的两个常见元素成员是 [2,3]。所以我正在尝试创建一个谓词setIntersection(Xs, Ys, Zs)，其中结果列表（ [2,3] ）将绑定到 Zs，我正在尝试使用 Prolog 语言来做到这一点在 Windows 上的 ECLiPSe 程序上运行，它必须使用循环迭代器，NO RECURSION。

这是我到目前为止的代码：

我拥有的另一个版本的代码是这样的：

结果（来自第二个代码）：

对于上面的代码，我得到的结果很奇怪。

请帮我解决这个问题，我将不胜感激。谢谢！

So I managed to write the SEND + MORE = MONEY program for Prolog and I'm having trouble labeling the results. Any ideas on how to do that? I keep using the labeling function but it still wouldn't work. I'm lost here.

Results:

Any help would be appreciated! Thanks!