answer-set-programming - Clingo：按顺序（索引）比较字符串文字？

Question

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

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

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

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

Answer 1

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