Abdallah

There is also a type in https://github.com/touist/touist/blob/1bf1b5254fcbe8e4f368c7684a5d51b9a1852487/src/lib/qbf.ml#L62 on the right-hand side, the forall should be an exists.

Similarly, the function `Latex.is_binary_op` does not treat `mod` appropriately. Maybe `mod` was added later and the code wasn't updated. Unless told otherwise, I'll change this bit too.

After a bit more testing, I realize that the issue does not specifically stem from the absence of clauses the following input triggers the same inconsistent behaviour based on whether...

Thank you both for your answers. Sorry for the confusion in my original post. My issue does not have to do with optimizing the order of the body literals. It...

> What exactly is the problem with gringo generating "unreachable" atoms? Erik, see below some examples where the current approach is counter-intuitive to me. The python functions are defined afterwards....

> You should return an empty list if a function is not defined for its arguments. Yes, I use the approach of returning an empty list when the function is...

Ok, I understand better why you keep talking about body literals while I refer to the head of a rule. It's because in my example programs, the @call does not...

Thank you for the tip with external. It hadn't occurred to me and it is a little bit more elegant than using false-choice rules. Regarding preserve-facts only affecting facts directly...

An option to treat facts as externals would be perfect for my use-cases (in teaching and in my own debugging). Both these needs can be met with manually writing ````#external````,...

Thank you for the suggestion. I can reduce a little bit the pain of having two classes when querying by taking their union at the cost of prefixing my predicates....