Dear standardizer!
This year's meeting will be held via Zoom, Monday, June 1st at 16:00 UTC (18:00 CEST) - 18:00 UTC
JTC1 directives now permit experts that are not formal members of a national member body for two such meetings. Those experts need to be invited by me. In turn, the national member bodies will be informed about these invitations which in the long term may cause here some reaction by the national member bodies.
Agenda 39th WG17 meeting 2026-06-01 16:00-18:00 UTC
1. Greeting and introduction of participants, administrativa
1.1 Minutes of 2025 meeting N306
1.2 Law as Code
https://bmds.bund.de/themen/staatsmodernisierung/law-as-code https://www.sprind.org/en/actions/strategic-projects/law-as-code https://www.sovereign.tech/programs/standards https://vatmiraal.be/
1.3 Unicode characters (TS 13211-4)
https://www.metalevel.at/iso-prolog/unicode/ N307
1.4 Retaining clause numbering in existing standards.
2.1 Recent progress in Prolog systems
New system Flowlog. https://web.liminal.cafe/~byakuren/flowlog/
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing#337 up to 364
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/number_chars_cont
2.2 Further corrigenda
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/stc#62 up to 69
2.3 Syntax extension double bar
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/double_bar
Currently supported by Ciao, Trealla, Modified Scryer.
2.4 Syntax extension digit separators
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/digit_separators
Currently SWI, Trealla, Scryer partially, Modified Scryer.
2.5 Prolog prologue
permutation/2
2.6 crypto_data_hash/3
https://www.metalevel.at/iso-prolog/crypto_data_hash https://github.com/mthom/scryer-prolog/issues/1137#issuecomment-4430540510
3. Other activities
3.1 Scryer meetups
Duesseldorf 2025-11-13..14. Forthcoming, TU Wien, Vienna Saturday 2026-10-24, Sunday 2026-10-24. https://www.digitalaustria.gv.at/wissenswertes/events/scryerprologmeetup2026...