Prolog-standard May 2024

prolog-standard@software.imdea.org

WG17 meeting 2024, agenda v2
by Ulrich Neumerkel 07 May '24

07 May '24

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 ---

1 0

WG17 meeting 2024, agenda
by Ulrich Neumerkel 07 May '24

07 May '24

1 0