Markus Triska

The documentation of `library(diag)` shows how to decompile inlined predicates indicated by code offsets, using **`inlined_instructions/2`**: https://www.scryer.pl/diag

@haijinSk: Excellent catch! I am very glad this works as expected with the most recent commit: ?- [Lambda] = [\N^length("",N)], call(Lambda,N). Lambda = \0^length([],0), N = 0. ?- Lambda =...

@haijinSk, @bakaq: The intention of 025ec37 was to obtain the speed for files we had at (and before) b04d845ec05b1b8b402cf61ab8df13a3d1cec742, i.e., to bypass the machinery for non-repositionable streams (for which support...

I have reduced it to the following **self-contained** program: :- use_module(library(pio)). :- use_module(library(dcgs)). test(Str) :- File = "testfile.out", phrase_to_file(seq("abc"), File), phrase_from_file(seq(Str), File), phrase_to_file(seq("123456"), File). With `master`, I get: ?- test(Str)....

I think I may have mixed up versions in the comparison above: I now tried `pio.pl` from b04d845ec05b1b8b402cf61ab8df13a3d1cec742 (i.e., a version way before 025ec37733984b0240c319c15aaeeaacbe378be6) with `rebis-dev`, and I can reproduce...

And, as my last update for today on this specific issue, I now noticed that **also with `master`**, I get with `pio.pl` as it was at b04d845: ?- test(Str). Str...

I think we have seen the following sequence with Scryer: 1. In its initial version generously contributed by @notoria, `library(pio)` did read the entire file at once: d6772c5ca5359d9e5a8de15a110e10408e213275. 2. With...

My personal opinion: Illustrating list predicates is a good opportunity to show how conveniently *strings* can be written in Scryer Prolog. For example: ?- append("Scr", "yer", "Scryer"). true.

Personally, I would favour such a change, yes. @aarroyoc I would also greatly appreciate your opinion on this. Thank you a lot!

Regarding the wording of the documentation for `append/3`, please also consider the Prologue: https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#append Note how generally phrased the sufficient condition is: "... true if `Zs` is the concatenation of...