>> If you can execute Prolog in a different manner then I'm happy that's the case but I find it hard to believe that's still Prolog. How would the IO come out in the same order?

See my link to SWI-Prolog's implementation of tabling above. Copied here again (third time) for your convenience:

https://www.swi-prolog.org/pldoc/man?section=tabling