[Prolog-standard] WG17 meeting 2023, agenda