Jos De Roo

Thanks @jeswr for keeping the deep taxonomy ball rolling 😉 For the moment however I can't reproduce your performance results ``` $ node Reasoning-perf.js Reasoning over TimBL profile and FOAF...

I started fresh and made a pull request https://github.com/jeswr/N3.js/pull/10 It now works at lightspeed but the depth of 1000000 is not yet running completely ``` $ node Reasoning-perf.js Reasoning over...

> I'm suggesting because I think this code will grow quite a bit over time, and it's good for it to have its own file. > > > I would...

Very well.

Fair enough @triska and will stay tuned!

At this moment with ``` $ rustc --version rustc 1.57.0 (f1edd0429 2021-11-29) $ scryer-prolog --version "v0.8.123-732-g8065889" ``` the issue is still the same, but take your time.

@UWN you have a good memory! There is indeed a stack overflow issue with SWI for a [similar program](https://github.com/josd/josd.github.io/blob/745140109a9b8d6f7b43837c92204e2bceb3c6c0/temp/mif8.pl) ``` $ cat mif8.pl mi([]). mi([G|Gs]) :- head_body_(G,Goals,Gs), mi(Goals). head_body_(mi([]),Rs,Rs). head_body_(mi([G|Gs]),[head_body_(G,Goals,Gs),mi(Goals)|Rs],Rs)....

Thanks @UWN and that's indeed a better reproduction of the the issue. It also clearly shows that it is a failure to allocate memory: ``` $ ulimit -v 100000 $...

Am not using `.scryerrc` ``` $ cat ~/.scryerrc cat: /home/jdroo/.scryerrc: No such file or directory ``` At least the failure also occurs without `write/1` ``` $ ulimit -v 100000 $...

With `rebis-dev` there is now a better message: ``` ?- mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([mi([natnum(X)])])])])])])])])])])])])])])])])])])])])])])])])])])]). memory allocation of 17179869184 bytes failed Aborted ```