Dear standardizer!
This year's meeting will be held via Zoom, Monday, June 3rd at 16:00 UTC (18:00 CEST).
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 WG17 meeting 2024
1. Greeting and introduction of participants, administrativa
1.1 Minutes of 2023 meeting N298
1.2 Recent progress in Prolog systems
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/length
2. Further corrigenda
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/stc#58
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/stc#59
3. Prolog prologue
3.1 Review of p.p.10 foldl/4..6
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#foldl
3.2 Proposed additions
3.2.1 countall/2
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/countall
3.2.2 crypto_data_hash/3
https://www.metalevel.at/iso-prolog/crypto_data_hash
4. DCG progress
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase
5. dif/2
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/dif
6. Attributed variables
7. NWIP TS 13211-4 Part 4: Unicode characters in quoted Prolog text
Ballot currently underway
---
prolog-standard@software.imdea.org