Julien Cumin

This is implemented; however this does not work when that subscripted input is in a list, e.g. `[?₎]`. This needs to be fixed.

The implementation has been reverted. This is much more tricky to implement than my original naïve implementation. I will get back to making a proper implementation once I can. (Thanks...

[This commit](https://github.com/JCumin/Brachylog/commit/72a8ce3951f49b52e451f4e42b1a3bd5f7bb00e6) solves this problem ONLY IF the input is ground and the output is a variable (which is typically when the problem occurs). It still doesn't work properly when...

@triska Thansk for the advice, I'll change that. What use does `all_different/1` typically have then?

@triska I have reverted (maybe temporarily) back to `all_different` because of the following case: ``` ?- Z in 1..sup, all_distinct([111111111,3,Z]). ERROR: Out of global stack ``` Whereas: ``` ?- Z...

@kckennylau It's actually not completely stupid. Your program works if you write it like this: [∈₎[[2,3,3,1],.]t](https://tio.run/##SypKTM6ozMlPN/r//1FHx6OmvuhoIx1jIDSM1dGLLfn/3/B/FAA) That is, with the subscript in the right argument. The question now is whether...

@triska Rational numbers are available for free, but they present the same problem that low-level arithmetic has as far as I see, e.g. `5 rdiv 6 is X rdiv 2...

@triska As for unums, it would indeed be harder to implement, especially considering that the publications on the subject are relatively sparse and not very extensive (excluding the book which...

@triska I only see a difference for the following case (and none for the other two cases with `… #= 0`): ``` ?- X in 0..100, 2^I #= X. X...

@triska Thanks!