Markus Triska

This seems to be another good candidate for a predicate that would be more interesting over *strings*, please also see https://github.com/mthom/scryer-prolog/issues/1489#issuecomment-1135111411. I think once one wants to look "inside" text...

How can we best ensure that we do not accidentally discuss the same issue for each and every predicate that exists over atoms? Maybe such considerations are a good candidate...

This could for example be solved by a feature in `library(charsio)`, please see https://github.com/mthom/scryer-prolog/issues/748.

Related: #1269.

If you want to see the entire string, you can press `w` on the toplevel to print it: ?- X = "abcdefghijklmnopqrstuvwxyz" ; 0=1. X = "abcdefghijklmnopqrs ..." % press...

I think a quick scan of the **call stack** is sufficient to decide whether a clause can be safely removed: If the predicate does not appear in the call stack,...

Note for later: Once this issue is resolved, 1fa8a0a96986e0343e54901b4d00b998068e5833 should be reverted, since the original code is shorter and (then) also cleans up better.

Yes, I will close this immediately once this is merged into `master`, thank you a lot! I hope that the inclusion of the new HTTP server together with the tremendous...

I have filed #1045 with a rudimentary version that works for the most important case of a deterministic grammar rule body that describes a list of characters, as long as...

Intermingling this functionality with expansion of environment variables is not a good idea, please see https://github.com/infradig/trealla/issues/86#issuecomment-721979426 for arising issues.