Closed irina-dragoste closed 3 years ago
With rules
hP(x,u), W(u) :- B(x) . pO(x, v), B(v) :- W(x) . hP(x, y) :- pO(y, x) . pO(x, y) :- hP(y, x) .
and empty edb.conf, the command
vlog cycles --alg RJA --rules rules -e edb.conf does not classify the rule set as RJA, but it should.
With rules
hP(x,u), W(u) :- B(x) . pO(x, v), B(v) :- W(x) . hP(x, y) :- pO(y, x) . pO(x, y) :- hP(y, x) .
and empty edb.conf, the command
vlog cycles --alg RJA --rules rules -e edb.conf does not classify the rule set as RJA, but it should.