ign_invariant.datalog.txt
Reasoning over the attached KB derives the fact Goal(cg), which is incorrect: Goal(cg) can only be derived by the last (large, containing 307 atoms) rule in the knowledge base. This rule has fact ResultDeg(i8580) as a precondition, but this fact is not (and should not) be derived.
ign_invariant.datalog.txt Reasoning over the attached KB derives the fact
Goal(cg), which is incorrect:Goal(cg)can only be derived by the last (large, containing 307 atoms) rule in the knowledge base. This rule has factResultDeg(i8580)as a precondition, but this fact is not (and should not) be derived.