问题标签 [eclipse-clp]

Every letter below in the puzzle uniquely represent one of the 10 digits in 0, 1, …, 9. No two letters represent the same digit. For each word below in the puzzle, the first letter is not 0.

Ex: SHINE - THAN == KNIT

All I've got for the code is this...

I'm kinda stuck on this part. So when I ran the code without the compareLists(List) function, the result gives me "No". So when I added the compareLists(List) function, the answer still gives me "No". I was wondering if "No" is the right answer or did I write something wrong in my code? Any help is appreciated. Thanks!

Thanks!

所以这是一个货币系统，用 8 种不同价值的硬币计算出最少的硬币数量。例如：1 美分、2 美分、4 美分、33 美分等……其中一枚硬币的价值必须为“5”。所以这个程序试图确定其他 7 个硬币值必须具有哪些其他单个值，以及每个值有多少个硬币，总和在 1 到 99 美分之间。

所以我的问题是，有没有一种方法可以编写一段代码而无需手动将“5”插入程序（例如：Values = [_, _, _, _, 5, _, _, _] 或值 = [ _, 5, _, _, _, _, _, _] ）？所以这里应该有不止一种解决方案......

这是代码：

任何帮助表示赞赏。谢谢！

所以这是一个计算最少携带硬币数量的货币问题。有 4 种不同种类的硬币（1 美分、5 美分、10 美分和 25 美分）。所以当我运行程序时，结果给了我这个：

指令称：“我们希望在口袋中携带尽可能少的硬币，但我们也希望确保这些硬币能够满足从 1 到 99 美分的任何金额的要求。” 所以，当我计算总数时，结果是 104 美分。我怎样才能使总金额在 1 到 99 美分之间？我不确定我所做的是否正确，或者我需要为此添加更多代码...

我不确定我所做的是否正确，但我想听听您对此的看法……谢谢！

所以这是一个程序，它计算在这些硬币上带有特定值的最少硬币数量。该程序可以工作，但是太慢了...当您将值的长度替换为 7 或以下时，它可以工作...但是 8 或以上，它真的非常慢。有什么办法可以加快这个程序？

任何帮助表示赞赏！谢谢！

Prolog 实例化模式的完整列表在前面的问题中给出：Prolog 谓词参数中的实例化模式指示符的含义。

但是，我无法在 ECLiPSe Prolog 中找到有关双加 (++) 实例化模式的任何参考或解释。ECLiPSe 文档中使用 '++' 模式的示例谓词是setval(++,?)。

有谁知道这个模式是什么意思？

使用 ECLiPSe Prolog，lib(ic)我偶然发现了David H. Bailey 提出的以下问题，“解决科学计算中的数值异常”。Unum book提到了我。实际上，这只是其中的一部分。首先，让我根据 来制定方程(is)/2。另外，请注意，所有这些十进制数字都以基数 2 浮点数（包括 IEEE）精确表示：

所以这确实是0.0（根本没有四舍五入）。但现在与$=代替is：

此区间不包含 0.0。我知道区间算术通常有点过于近似，如下所示：

但至少等式成立！但是，在第一种情况下，不再包括零。显然我没有理解一些东西。我也尝试过eval/1，但无济于事。

Null不包括的原因是什么0.0？

（在@jschimpf 出人意料的回答之后编辑）

这是书中第 187 页的引文，我将其解释为数字被精确表示（现在划线）。

使用可以模拟 IEEE单精度的 {3,5} 环境。输入值是完全可表示的。...
{-1, 2}
...完成了
这项工作，用不到...

否则，第 184 页的声明成立：

...

0.80143857 x + 1.65707065 y = 2.51270273

这些方程式当然看起来很无辜。假设精确的十进制输入，该
系统由x = -1 和y = 2 精确求解。

这是用 SICStus 重新检查的library(clpq)：

所以 -1, 2 是确切的解决方案。

精确的配方

这是一个在输入系数中没有舍入问题的重新表述，但解决方案仍然只是 -∞...+∞。因此，微不足道的正确，但不可用。

我是CP新手。到目前为止，我玩过 MiniZinc，我发现这很有趣。

在我做出太多承诺之前，我想弄清楚从最活跃的社区、在研究中积极开发和使用以及最佳学习资源（示例和教程）的角度来看，什么 CP 语言和求解器是最好的开始。

到目前为止的选项似乎是：MiniZinc、ECLiPSe 和 or-tools。

谢谢，

prolog 中的 count/3 和 for/3 有什么区别？以及如何使用减量-1的 for 循环（如for(I,9,0,-1)）？

• 例如 ：

  Dec=-2, Min_bound=0, Max_bound=9
  结果 => 9,7,5,3,1

我正在尝试将 java 与约束逻辑连接，我将 netbeans 用于 java，将 eclipse 6.1 用于约束逻辑，但是当我尝试运行代码时出现异常java.lang.IllegalArgumentException: Missing eclipse.directory property

我使用了一个教程来解释如何连接它们，它说编译后，要运行程序，像往常一样启动 Java 解释器，但在类名之前，提供命令行选项 -Declipse.directory=<eclipse_directory>

我不知道把它放在netbeans的什么地方

这是代码

我在 ECLiPSe 下的 CSP 有问题。我希望在我的密码中添加一个约束，要求 TWO 表示的数字可以被 2 整除。

谢谢你的帮助。

我的代码：