ridgeworks

> As to (1), I think it can because deep mutual recursion isn't something unrealistic in Prolog. So, not-so-theoretical code may run fine but fills up all memory while profiling....

> Seems we live in a different Prolog universe 😄 . I've had the pleasure of working with Prolog processes using hundreds of giga bytes, including many million element long...

> Do you want me to try the profiler with my moderately long lists? (It'll take me a little bit of work because it's part of a larger batch job,...

Regarding profiling specifically, for this "uncommon scenario" you have `ports(false)` mode. And you don't lose much (anything?) because it is exactly this scenario where the ports counts are unreliable. So...

What is the status of this PR? I'd like to submit a PR to fix a bug in the `cmpReals` code (`pl-gmp.c`) so I think need to capture a new...

`` and `=\=` are only supported for integers, the reason being that these operations are unsound over reals. The set of reals is continuous so `X Y` can't be finitely...

> In these cases X

`{X>Y, Y>X}` is an obvious inconsistent constraint so the question is can CLP(BNR) prove it. I think it can but there are some caveats. The first point is that `>`...

There have been otter issues (e.g. #168, #151) reporting this, but I'll report my findings here. From what I've observed, it aopears that iCloud servers have an additional second element...

Previous comment had angle brackets which got caught in formatter. Hope this makes things clearer: There have been otter issues (e.g. #168, #151) reporting this, but I'll report my findings...