2026

2025

2024

2023

2022

2021

2020

List overview
Download

Prolog-standard May 2026

prolog-standard@software.imdea.org

1 participants
1 discussions

Start a nNew thread

WG17 meeting 2026, agenda
by Ulrich Neumerkel 13 May '26

13 May '26

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/scryerprologmeetup202…

1 0