search

karmaresearch / vlog

Apache License 2.0
55 stars 9 forks source link

Wrong RMFC classification #81

Closed irina-dragoste closed 2 years ago

irina-dragoste commented 3 years ago

With rules R(x,y),D(y) :- C(x) . S(x,y), E(y) :- D(x) . V(x,y), C(y) :- E(x) . R(z,x) :- S(x,y), V(y,z) .

vlog cycles --alg RMFC --rules rules -e edb.conf

classifies this rule-set as RMFC, but it is not.

CerielJacobs commented 2 years ago

@irina-dragoste : In issue #85, you acknowledge that this rule-set is not RMFA. Are you maintaining that is is not RMFC?

CerielJacobs commented 2 years ago

@irina-dragoste I think you do, because you say that the restricted chase will terminate. Yes. It is not RMFC.

CerielJacobs commented 2 years ago

Apparently, the fix to issue #80 also fixes this issue.