问题标签 [eclipse-clp]

正如我发现的那样，我可以在 Prolog的缩短版本中使用 from$和in 。因此，我可以编写以下查询：#suspend

结果是：

那么以下查询的结果之间有什么区别#以及为什么：$

是：

?

我是 ECLiPSe 的新手，遇到以下问题。当我编写和编译这个简单的程序时：

我不知道如何测试它？或者什么是简单的测试查询？

如果你指导我，我会很高兴。提前致谢

我在序言（Eclipse CLP）中有以下语句：

结果是No.。我想检查Xover的整数除法5是否等于2。如果我写以下语句：

我会收到以下错误：

//(X{1 .. 100}, 5, _703) 中的实例化错误

那么，问题是如何检查变量的整数除法X？

我有以下查询：

如您所见，我有一个整数暂停Qoutient #:: 0..Dividened，并尝试清除最后的值Dividend。但是，我收到以下错误：

那么如何解决 Eclipse CLP 中的问题呢？

我有一个板解算器，其解算器的一般形式如下：

它通过了约束谓词，但搜索部分出现错误，如下所示：

错误发生在标注谓词 中，错误为：

域内实例化错误（_258{[9 .. 13, 15 .. 20]}）

那么问题是什么？（我在域内谓词中看不到任何问题）。

我想将此汇总实现为目标和约束（1-6）有人可以帮助我如何实现它们吗？

OBJ: 最小值 ∑(i=1..N)∑(j=1..N) Cij * ∑(k=1..K)Xijk

约束： ∑(k=1..K) Yik=1（对于 N 中的所有 i）

应该写入什么值才能正确运行代码。我给了我没有看到任何输出的任何数量。

我正在 Prolog 中编写数独求解器。数独本身作为向量的向量给出：

我正在使用以下代码将其转换为矩阵：

这适用于前 8 行和列，但每次 I 或 J 为 9 时都会失败。执行 nth1(9, P, RowI) 会使 RowI 成为一个全新的变量，而不是第 9 个向量/行。执行 nth1(9,RowI, Elem) 不会返回第 9 个元素（对于第 8 行，它应该返回 1，但返回一个新变量）。这是 Eclipse-clp 中的错误还是我遗漏了什么？

当我想在 ECLiPSe-CLP 中运行此代码时，我收到以下错误

代码：

有人可以告诉我如何在 ECLiPSe-CLP 或 Prolog 中实现这些 sigma，或者至少给我指导如何实现和解决它们。