基于Clingo中val谓词索引规则生成first/second谓词的实现问题

问题分析 #

你遇到的Z'和Y'不安全变量错误，是因为ASP（回答集编程）要求所有变量必须出现在正向原子中（即非否定的谓词里）。你的原规则中，Y'和Z'仅在not val(X,Y',Z')这个否定原子里出现，程序无法确定它们的取值范围，因此报错。

同时你的原规则逻辑也不符合需求：你想筛选出第三个参数最小的条目，但原规则的条件是“不存在Z'更大且Y'不同的条目”，这和需求完全相反。

正确实现代码 #

以下是符合需求的Clingo代码，能正确生成first和second谓词：

% 原输入事实
val(a,2,3).
val(a,4,5).
val(b,0,6).
val(b,1,2).

% 定义first：当前条目是对应字母的优先级最高项（Z最小，Z相同则Y最小）
first(X,Y,Z) :- val(X,Y,Z),
    not (val(X,Y',Z'), (Z' < Z; Z' = Z, Y' < Y)).

% 定义second：属于同一字母的非first条目
second(X,Y,Z) :- val(X,Y,Z), not first(X,Y,Z).

代码说明 #

• first规则的逻辑：对于某个val(X,Y,Z)，如果不存在另一个同字母的val(X,Y',Z')满足Z'更小，或者Z'相同但Y'更小，那么这个条目就是first。这里val(X,Y',Z')是正向原子，Y'和Z'被绑定到现有事实的取值，解决了不安全变量问题。
• second规则直接筛选同一字母下不是first的val条目，符合“每个字母最多两个出现”的约束。

运行这段代码后，会得到预期结果：

first(a,2,3), first(b,1,2), second(a,4,5), second(b,0,6)

内容的提问来源于stack exchange，提问作者Mutaz Sameer