问题标签 [clingo]

我已经定义了一个名为Clingotableau10的调色板：

tableau10(blue;orange;red;teal;green;yellow;purple;pink;brown;gray).

有没有办法按颜色定​​义中出现的顺序比较颜色？（例如，blue = 0, orange = 1, red = 2, ...）

我的目标是能够声明诸如blue < orange...blue < gray

您好，我正在尝试了解有关 cligo 的更多信息，有以下术语：v(1,2).v(2,1).v(3,4).v(4,3)，表示第一个元素不能在第二个元素的同一行，第二个元素不能与第一个元素相同，ecc ..想写一些规则来找到一个矩阵2x2，其中元素（I，J，N）根据该限制放置。提前致谢

我正在尝试在我的 Mac (macOS Mojave -- 10.14.3) 上安装 Clingo。

我已经下载了最新版本的 Clingo (5.3.0) 并将其解压缩。如果我用终端打开 Clingo 文件，它会显示：

我还下载了自制软件和 Xcode。

我有想要运行的 .lp 文件 (pippo.pl)。我应该怎么做才能运行这个文件？

我从终端尝试了多种方式，但没有任何反应。

我创建了一个别名 cligo="documents/clingop/cligo" 然后从我写的 pippo.pl 文件的目录中创建

clingo pippo，但终端说：-bash: documents/clingop/clingo: No such file or directory

所以它似乎以某种方式无法读取文件 cligo

你知道我怎么能解决这个问题吗？多谢

在 Clingo 指南中，有两种模式分别称为谨慎和勇敢，介绍如下：

勇敢计算逻辑程序的勇敢结果（所有答案集的联合）。

谨慎计算逻辑程序的谨慎后果（所有答案集的交集）。

指南中没有提供更多信息。我尝试了一些示例，但无法理解该问题。

我尝试运行以下简单的 ASP 程序：

在没有模式参数的情况下运行 Clingo 将给出正确的答案集：

如指南中所述，如果在勇敢模式下运行，它将计算所有答案集的并集，我应该得到结果{p, q}。

同样，对于谨慎的情况，预期结果为空。

然而，Clingo 勇敢推理的实际结果是：

紧贴版本 5.3.0

从 test/cautious_reasoning.lp 读取

解决...

答案：1

q

后果：[1;2]

答案：2

qp

后果：[2;2]

满意

型号：2

勇敢：是的

后果：2

来电：1

时间：0.006s（求解：0.00s 1st Model：0.00s Unsat：0.00s）

CPU时间：0.002s

对于谨慎的情况：

紧贴版本 5.3.0

从 test/cautious_reasoning.lp 读取

解决...

答案：1

q

后果：[0;1]

答案：2

后果：[0;0]

满意

型号：2

谨慎：是的

后果：0

来电：1

时间：0.001s（求解：0.00s 1st Model：0.00s Unsat：0.00s）

CPU时间：0.001s

那么里面的数字[]代表什么？如何理解 Clingo 中谨慎勇敢的推理模式？

让我有矩阵

一个=

1 2 3

1 3 5

1 2 4

2 3 7

任务是重新排列矩阵，以便在任何行中没有两个元素的顺序相同。

例如，在第 1 行和第 2 行中，我们有相同顺序的数字 1 和 3。我们在第 1 行从左到右翻转 1 和 3 中的数字并得到

3 2 1

1 3 5

1 2 4

2 3 7

我的想法是这是一个搜索问题，可以通过答案集编程来解决吗？问题是，如果您尝试使用某种算法来执行此操作，那么在某些时候您最终会将两个数字按照与它们在其他行中的顺序相同的顺序排列。

这对于重新定向网格的三角形表面网格面很有用，其中面法线指向不一致的方向，以便所有法线都指向内（或外）

我clingo-master在 Ubuntu 中进行设置，这是一个 ASP 应用程序。但是当我按照本指南进行 cmake 时。

我遇到了错误：

我已经安装了bison，但错误仍然存​​在。我是 linux 新手，我不知道该怎么做。

这就是指南所说的：克隆 git 存储库时，不要忘记更新子模块（使用源版本，您可以跳过此步骤）：

要在发布模式下以默认配置构建 gringo、cligo 和 reify，请运行：

生成的二进制文件和共享库将在<BUILD_DIR>/bin其中并可以使用。

要在 cmake 的安装前缀下安装所有二进制文件和开发文件（请参阅构建选项），请运行：

要运行测试，请启用选项CLINGO_BUILD_TESTS（请参阅构建选项）并运行：

我已经安装了clgo。但我不知道如何运行它。文件中有一些示例。我试图运行它。但它失败了。

我在 Windows 和 Ubuntu 中都安装了它。我已将其添加到路径中。

C:\Windows\system32>cligo color.lp\graph.lp cligo 版本 5.3.0 从颜色\图形读取：错误：无法打开文件：
color.lp\graph

C:\Windows\system32> cligo context-py.lp encoding.lp --of=3 0 * 错误: (clingo): 'encoding': 无法打开输入文件！*信息 : (cligo): 尝试使用“--help”获取使用信息

C:\Windows\system32> cligo context-lua.lp encoding.lp --of=3 0 * 错误: (cligo): 无法打开输入文件！*信息 : (cligo): 尝试使用“--help”获取使用信息

我正在针对图形节点运行数据记录规则，clingo检查jupyter notebook共享相同直接祖先的节点，如下所示：

这给了我2个对称对，即

如何将同胞的生成限制为只有这两个结果中的一个？

我正在尝试使用答案集编程、Clingo 和 MKAtoms 解决二进制数独难题。我有一组工作代码，但它没有返回任何答案集。

我已经查看了代码，但不确定问题所在。

输入文件：

没有错误，但它应该返回与上述规则匹配的答案位置。

我是 clgo 的初学者，我一生都无法弄清楚如何获得给定原子的最大值。
例如

在这种情况下，我希望得到的结果是x_max(9).