Julien Cumin

This is always a good addition to be able to see the changes that are made to the library as time goes on, so yes! (assuming it is not a...

Another case where stronger propagation should be possible (tested on SWI's CLP(FD), I'm assuming those cases hold for CLP(Z)): ?- X in 0..sup, Y in inf.. -1, X^I #= Y....

@UWN I only have a recreational use for Prolog, as such I don't feel like it is worth investing money into a SICStus license (whether it be paid by me...

@UWN No I did not. I would feel bad having someone spend a significant amount of money for how little I use Prolog. Moreover my main project needs to be...

I'm not quite sure what you actually implemented; in anycase here's the following observation: - `abs(X) #= 1+X, X in 1..10000, indomain(X)` still takes a few seconds - `abs(X) #=...

@parkcitymedia If you were a real grammar nazi, you would capitalize your "I".

@triska I just commited unit test for brachylog_reverse. I'm not sure if I'm doing this right so I'll stop for now. They are testing in a non-deterministic way with `findall/3`...

I'm finally starting on this, months after this was requested... It's lacking a lot of predicates/metapredicates right now but here's [the current existing unit tests](https://github.com/JCumin/Brachylog/blob/master/src/tests.pl).

@kckennylau Both `"\"` and `"\\"` are incorrect syntax, even though TIO doesn't print an error for it (which it should). So I don't see how you saw it get treated...

@kckennylau This is extremely annoying to fix because TIO reads the input from a file, and in the offline intrepreter you can input a string in an atom (single quotes)...