Clingo：按顺序比较字符串文字（索引）？
Clingo: Compare String Literals by Order (Index)?
我在 Clingo 中定义了一个名为 tableau10 的调色板：
tableau10(blue;orange;red;teal;green;yellow;purple;pink;brown;gray).
有没有办法按照颜色在我的颜色定义中出现的顺序来比较颜色？ （例如，blue = 0, orange = 1, red = 2, ...）
我的目标是能够声明 blue < orange、blue < gray...
之类的东西
谓词 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).
我在 Clingo 中定义了一个名为 tableau10 的调色板：
tableau10(blue;orange;red;teal;green;yellow;purple;pink;brown;gray).
有没有办法按照颜色在我的颜色定义中出现的顺序来比较颜色？ （例如，blue = 0, orange = 1, red = 2, ...）
我的目标是能够声明 blue < orange、blue < gray...
谓词 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).