Awesome work, thank you a lot Javier for making this available, and for the Scryer Prolog improvements that make this possible!<p>I see that almost all of the changes mentioned on the page are in fact already filed for inclusion:<p><a href="https://github.com/mthom/scryer-prolog/pull/3379" rel="nofollow">https://github.com/mthom/scryer-prolog/pull/3379</a><p><a href="https://github.com/mthom/scryer-prolog/pull/3383" rel="nofollow">https://github.com/mthom/scryer-prolog/pull/3383</a><p><a href="https://github.com/mthom/scryer-prolog/pull/3387" rel="nofollow">https://github.com/mthom/scryer-prolog/pull/3387</a><p><a href="https://github.com/mthom/scryer-prolog/pull/3390" rel="nofollow">https://github.com/mthom/scryer-prolog/pull/3390</a><p>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!<p>For everyone interested in Prolog and its applications, please also consider attending the Scryer Prolog Meetup 2026 on Oct. 24th and 25th in Vienna:<p><a href="https://www.digitalaustria.gv.at/wissenswertes/events/scryerprologmeetup2026" rel="nofollow">https://www.digitalaustria.gv.at/wissenswertes/events/scryer...</a><p>I hope to see several of you there!