ISO/IEC JTC1 SC22 WG17 Minutes via Zoom Date of meeting: 2024-06-03 Time of meeting: 16:00 - 18:20 UTC Ad 1. Greeting and introduction of participants, administrativa WG17 members: Bill Ash (SC22 commitee manager) Klaus Däßler (Germany) Manuel Hermenegildo (Spain) Mark Thom (Canada) Markus Triska (Austria) Ulrich Neumerkel (convener) Invited non-member experts: Adrian Arroyo Calle (Spain) Jose Morales (Spain) Ad 1.1, minutes of 2023 meeting N298 were approved. Ad 1.2, recent progress in Prolog systems. On reviewing new conformity tests #311-#326 of https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing no issues requiring an reaction were identified. New system X-Prolog https://play.google.com/store/apps/details?id=org.xprolog.xp Ad 2 Further corrigenda. #53 up to #59 were reviewed. #56 was discussed leading to: Resolution A1:(:-)/1and(:-)/2should not be definable although they are neither control constructs nor built-in predicates. Unanimous. Action item for producing a comparison table for the related errors. Ad 3 Prolog prologue. Review of p.p.10 foldl/4..6. Discussion about further foldl/7, foldl/8 not conclusive. Ad 3.2.1 countall/2 Resolution A2: Include countall/2 as p.p.11 into the Prolog prologue. Unanimous. Ad 3.2.2 crypto_data_hash/3 Resolution A3: Include crypto_data_hash/3 as p.c.x into a separate subclause of the Prolog prologue. Unanimous. Ad 4 DCG, ballot preparation for DTS underway. Tests in https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase. Ad 5 dif/2, currently no further action. Ad 6 continued interest into attributed variables. Forthcoming Prolog events of interest to WG17 members: ICLP Dallas October 11-17th 2024 will include a Prolog workshop. https://www.iclp24.utdallas.edu/ Scryer Prolog meetup in Vienna, November 7-8th 2024. https://www.digitalaustria.gv.at/eng/insights/Digital-Austria-Events-EN/Scryer-Prolog-Meetup-2024 Meeting adjourned at 18:20 UTC.