Clingo：按顺序比较字符串文字（索引）吗？

Question

我在Clingo中定义了一个名为tableau10的调色板：

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

是否可以通过颜色在我的颜色定义中出现的顺序来比较颜色？ （例如blue = 0, orange = 1, red = 2, ...）

我的目标是能够声明blue < orange，blue < gray ...之类的东西

Answer 1

谓词tableau10是无序的。要进行这种比较，您必须以一种或另一种方式编码顺序。例如，您可以为数字value(blue, 1). value(orange, 2). ...分配数字，并在必要时比较相关数字，也可以编写lessthan(blue, orange). lessthan(orange, red). ... lessthan(brown,gray).并添加传递性规则lessthan(A, C) :- lessthan(A, B), lessthan(B, C).