- Prolog-standard - IMDEA Software

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

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

DTS 13211-3 ballot
by Ulrich Neumerkel 07 Apr '25

07 Apr '25

Dear standardizer! As a reminder, DTS 13211-3 is in ballot until April, 28th. For conformity of the related phrase/2, please refer to https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase

1 0

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

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

1 0

WG17 meeting 2023, agenda
by Ulrich Neumerkel 08 May '23

08 May '23

Dear standardizer! This year's meeting will be held via Zoom, Monday, June 5th 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 2023 1. Greeting and introduction of participants, administrativa 1.1 Minutes of 2022 meeting N293 1.2 Recent progress in Prolog systems 2. Further corrigenda 3. Prolog prologue 4. DCG progress

1 0

Minutes
by Ulrich Neumerkel 07 Jun '22

07 Jun '22

Dear standardizer, the tentative minutes of yesterday's meeting are here: http://www.complang.tuwien.ac.at/ulrich/iso-prolog/2022-minutes Please comment on errors/omissions. I will upload them onto sd.iso.org next week. Best regards, Ulrich Neumerkel

1 0

WG17 meeting 2022, agenda, instructions
by Ulrich Neumerkel 05 Jun '22

05 Jun '22

Dear standardizer! This year's meeting will be held via Zoom, Monday, June 6th at 17:00 UTC (19:00 CEST). Due to JTC1 directives, there is one new change to the way meetings are held concerning experts that are not formal members of a national member body. 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 2022 version 2 1. Greeting and introduction of participants, administrativa 1.1 Minutes of 2021 meeting N284 1.2 Recent progress in Prolog systems 1.3 ** Prolog 50 1.4 ** Prolog archive 2. Further corrigenda 3. Prolog prologue 4. DCG progress 5. Interest for real meeting --- Hi, Ulrich Neumerkel is inviting you to a scheduled Zoom meeting. Topic: WG17 meeting 2022 Time: Jun 6, 2022 19:00 Vienna Join from PC, Mac, Linux, iOS or Android: https://iso.zoom.us/j/92315316189?pwd=NCtsV2cwK3NuaWExek1FOVN2bUQ4UT09 Password: 877224 Or iPhone one-tap : US: +19712471195,,92315316189# or +12063379723,,92315316189# Or Telephone: Dial(for higher quality, dial a number based on your current location): US: +1 971 247 1195 or +1 206 337 9723 or +1 213 338 8477 or +1 253 215 8782 or +1 267 831 0333 or +1 301 715 8592 or +1 312 626 6799 or +1 346 248 7799 or +1 408 638 0968 or +1 470 250 9358 or +1 470 381 2552 or +1 602 753 0140 or +1 646 518 9805 or +1 646 876 9923 or +1 651 372 8299 or +1 669 219 2599 or +1 669 900 6833 or +1 720 928 9299 or +1 786 635 1003 or 888 788 0099 (Toll Free) or 877 853 5247 (Toll Free) Meeting ID: 923 1531 6189 Password: 877224 International numbers available: https://iso.zoom.us/u/ac82awkc8r Or Skype for Business (Lync): https://iso.zoom.us/skype/92315316189

1 0

WG17 meeting 2022
by Ulrich Neumerkel 16 May '22

16 May '22

Dear standardizer! This year's meeting will be held via Zoom, Monday, June 6th at 17:00 UTC (19:00 CEST). Due to JTC1 directives, there is one new change to the way meetings are held concerning experts that are not formal members of a national member body. 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 2022 1. Greeting and introduction of participants, administrativa 1.1 Minutes of 2021 meeting N284 1.2 Recent progress in Prolog systems 2. Further corrigenda 3. Prolog prologue 4. DCG progress 5. Interest for real meeting

2 1

DCG ballot, meeting
by Ulrich Neumerkel 26 Aug '21

26 Aug '21

Dear Standardizer! After SC22's plenary, there is now a 12 week NP ballot for the TS on "Definite clause grammar rules". Please vote and indicate that you will participate. http://www.complang.tuwien.ac.at/ulrich/iso-prolog/dcgs/dcgsdraft-2021-08-1… In the meantime, the first work meeting for the TS will be the following Zoom meeting. --- Ulrich Neumerkel is inviting you to a scheduled Zoom meeting. Topic: ISO/IEC JTC 1/SC 22/WG 17 (Zoom) Meeting #101637 Time: Sep 27, 2021 06:00 PM Universal Time UTC Join from PC, Mac, Linux, iOS or Android: https://iso.zoom.us/j/91222710655?pwd=YVdLclRJaWM0RHFxNmM2RGhEb0tvZz09 Password: 005045 Or iPhone one-tap : US: +14086380968,,91222710655# or +14702509358,,91222710655# Or Telephone: Dial(for higher quality, dial a number based on your current location): US: +1 408 638 0968 or +1 470 250 9358 or +1 470 381 2552 or +1 602 753 0140 or +1 646 518 9805 or +1 646 876 9923 or +1 651 372 8299 or +1 669 219 2599 or +1 669 900 6833 or +1 720 928 9299 or +1 786 635 1003 or +1 971 247 1195 or +1 206 337 9723 or +1 213 338 8477 or +1 253 215 8782 or +1 267 831 0333 or +1 301 715 8592 or +1 312 626 6799 or +1 346 248 7799 or 888 788 0099 (Toll Free) or 877 853 5247 (Toll Free) Meeting ID: 912 2271 0655 Password: 005045 International numbers available: https://iso.zoom.us/u/aeJ46W4YsX Or Skype for Business (Lync): https://iso.zoom.us/skype/91222710655

1 0

2026

2025

2024

2023

2022

2021

2020