2026

2025

2024

2023

2022

2021

2020

List overview
Download

Prolog-standard May 2025

prolog-standard@software.imdea.org

1 participants
1 discussions

Start a nNew thread

WG17 meeting 2025, agenda
by Ulrich Neumerkel 02 May '25

02 May '25

Dear standardizer! This year's meeting will be held via Zoom, Monday, June 2nd 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 38th WG17 meeting 2025-06-02 16:00-18:00 UTC 1. Greeting and introduction of participants, administrativa 1.1 Minutes of 2024 meeting N301 1.2 Unicode characters (TS 13211-4) in stage 20.00 (NWIP approved, under development) https://www.metalevel.at/iso-prolog/unicode/ 1.3 DCG (TS 13211-3) in stage 60.00 (approved, under publication) Test cases https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase 1.4 Retaining clause numbering in existing standards. 1.5 30 years of 13211-1 Resolved syntax ambiguity, NSTO, errors, char/code Japan, call/N, extension mechanism, constraints 2.1 Recent progress in Prolog systems https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing#327 up to 336 https://www.complang.tuwien.ac.at/ulrich/iso-prolog/number_chars_cont 2.2 Syntax extension double bar https://www.complang.tuwien.ac.at/ulrich/iso-prolog/double_bar 2.3 Comparison of handling (:-)/1 and (:-)/2 (action item 2024) https://www.complang.tuwien.ac.at/ulrich/iso-prolog/:- 2.4 DCG extension phrase//2 and phrase//3 https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase__N 2.5 Syntax extension digit separators https://www.complang.tuwien.ac.at/ulrich/iso-prolog/digit_separators 2.6 Prolog prologue 2.7 crypto_data_hash/3 https://www.metalevel.at/iso-prolog/crypto_data_hash 2.8 dif/2 https://www.complang.tuwien.ac.at/ulrich/iso-prolog/dif 2.9 Attributed variables 2.10 Further corrigenda https://www.complang.tuwien.ac.at/ulrich/iso-prolog/stc#60 and #61 3. Other activities 3.1 Scryer meetups, Vienna 2024-11-07..08. Forthcoming, Duesseldorf Thursday 2025-11-13, Friday 2025-11-14.

1 0