Awesome work, thank you a lot Javier for making this available, and for the Scryer Prolog improvements that make this possible!

I see that almost all of the changes mentioned on the page are in fact already filed for inclusion:

https://github.com/mthom/scryer-prolog/pull/3379

https://github.com/mthom/scryer-prolog/pull/3383

https://github.com/mthom/scryer-prolog/pull/3387

https://github.com/mthom/scryer-prolog/pull/3390

If anyone is interested in contributing to Scryer Prolog and getting these changes included, please have a look and participate in the accompanying discussions, thank you a lot!

For everyone interested in Prolog and its applications, please also consider attending the Scryer Prolog Meetup 2026 on Oct. 24th and 25th in Vienna:

https://www.digitalaustria.gv.at/wissenswertes/events/scryer...

I hope to see several of you there!