Support acyclicity checks for rules with stratified negation.

[irina-dragoste]

Current acyclicity/cyclicity check implementations are not correct for the case in which the rules contain negation.

[CerielJacobs]

Is that a problem of the implementations only or of the algorithms?

…

On 29 Aug 2019, at 13:36, Irina Dragoste ***@***.***> wrote: Current acyclicity/cyclicity check implementations are not correct for the case in which the rules contain negation. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

[irina-dragoste]

I will soon provide details of how to adapt the implementation for this. Basically, we need to implement the acyclicity algorithm for each stratum.