Jean-Luc-Picard-2021
Jean-Luc-Picard-2021
Closing, wont fix.
Also a nice example how getbit/2 and divmod/4 could speed-up. What I could test so far was: ``` ?- time((between(1,1000,_), mp_pi(53, _), fail; true)). % Time elapsed 0.576s true. ?-...
Does the Trealla Prolog consult bail out on the first error. If not the consult should show a second error. This is what I get when I consult it with...
If I am not totally mistaken, I only call getbit/2 for positive bigints. It seems getbit/2 for negative numbers is a little bit more difficult. But since SWI-Prolog throws anyway...
Ok, its divmod/4 is there: ``` $ ./tpl -v Trealla Prolog (c) Infradig 2020-2022, v2.5.25 $ ./tpl ?- divmod(1000,26,X,Y). X = 38, Y = 12. ?- X is 26*38+12. X...
Regression testing gives me, not much faster, and still killed. How can I avoid the "killed"? Give it more memory somehow? I am runnng from WSL2 without some special configuration:...
Do you mean you cannot reproduce the Killed? You need to edit treallastub.p and remove the divmod/4 stub. I get it in WSL2, I don't know other platforms. I do...
Ok, out-of-memory. Strange I can run the example with a 512 MB memory limit, in Java based Prolog. Isn't that a gap in the garbage collection of Trealla Prolog? SWI-Prolog...
Maybe a problem of the between/3 failure loop. If I use smaller iterations I can run the test case: ``` $ ./tpl ?- ['treallastub.p', 'crarith.p', 'mpatan.p']. true. ?- mp_pi(53, X),...
But there is nothing new to test yet, right? I get: ``` $ git pull Already up to date. ``` So today is my holiday, my free day, free of...