Negation not working

[lucarag]

Hi, I've been trying to use this very nice tool in my work, but I have a problem with limiting the scope of rules through negations.

In my specific case, i want to take anything that was true at previous times T1 starting from current time T (posing T1 < T).
Ho don't know which T1 it will be, but I want it to stop with the first one in the past.
example: if some property is true at times 1, 2, 3, and my rule checks for T starting from 6 and going backwards, I want it to return the property being true for time T1 = 3 only. I've tried using +, +, and not(), but none of these seems to work and it actually makes the entire rule fail at all times.

Is negation not handled at all in this tool, or am I doing something wrong?
I also used the precise example you show at the beginning of the readme and it doesn't work as supposed to.

What would you suggest?

[MNoorFawi]

Hi Luca, Thanks a lot for your email. I am not able to reproduce your example at the moment, apologies for that but I will for sure look at it asap. However, negation can be applied using "neq()" keyword. Also there is a nice approach in this link https://stackoverflow.com/questions/70705978/using-not-in-pytholog I really hope this helps. All the best,

…

On Thu, Jun 13, 2024, 15:45 Luca Raggioli ***@***.***> wrote: Hi, I've been trying to use this very nice tool in my work, but I have a problem with limiting the scope of rules through negations. In my specific case, i want to take anything that was true at previous times T1 starting from current time T (posing T1 < T). Ho don't know which T1 it will be, but I want it to stop with the first one in the past. example: if some property is true at times 1, 2, 3, and my rule checks for T starting from 6 and going backwards, I want it to return the property being true for time T1 = 3 only. I've tried using +, +, and not(), but none of these seems to work and it actually makes the entire rule fail at all times. Is negation not handled at all in this tool, or am I doing something wrong? I also used the precise example you show at the beginning of the readme and it doesn't work as supposed to. What would you suggest? — Reply to this email directly, view it on GitHub <#10>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AHT2Y7OER37WE7FQQER4JI3ZHGH6JAVCNFSM6AAAAABJIKPQYKVHI2DSMVQWIX3LMV43ASLTON2WKOZSGM2TCMBVGQZDANI> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>