------------------------------------------------------- Minutes of meeting ISO/IEC JTC1 SC22 WG17 N237 ------------------------------------------------------- WG17 (Prolog) meeting, 4-5th September 2012, Budapest, Hungary Jonathan Hodgson ISO/IEC JTC1 SC22 WG17 (Prolog) Convener 0.1 Annexes A --- Resolutions. B --- Address list. 1. Attendance. Klaus Daessler(Germany), Gorkan Pacaci (Sweden) (Tue) Manuel Hermenegildo (Spain), (Tue) Jonathan Hodgson (Convener) , Ulrich Neumerkel (Austria), David S. Warren (USA), + (Wed) See Annex B for address list. The meeting began at 9:20 am Tuesday September 4th 2012. 2. Agenda for meeting -- N233. The Agenda was approved unanimously. 3. Drafting committee and secretary WG17 decided that if a drafting committee was required for this meeting Jonathan Hodgson and Ulrich Neumerkel would serve on it. Jonathan Hodgson agreed to serve as secretary. 4. Minutes of the Lexington meeting The minutes of the Lexington meeting (N 231) meeting were approved unanimously. 5. Convener's announcements. a. The Corrigenda (WG17 N226) has been published. So this is now incorporated into part one. b. It was noted that members of WG17 should ensure that their countries vote on ballots related to WG17 matters. 6. Corrigenda It was agreed (see resolution A. 5) that In Corrigendum 3 there shall be a write option variable_names by analogy with the read option of the same name . This addresses a known software vulnerability. Many people apparently believed that this option exists already. 7. DCGs (WG 17 N218 and N223) Klaus Daessler began the discussion of the latest draft of the DCGs document. There was a lengthy discussion of the precise meaning of steadfastness. The following text was approved (see resolution A. 4). In particular phrase/3 shall be steadfast in its last argument. A goal G is steadfast in argument n if for every term T that is the nth argument in the goal and the goal Gf that results by replacing T by a fresh variable Vf the results of G and (Gf, Vf = T) are the same. The use of directives with non-terminal indicators was discussed. In 6 Syntax a sub-clause 6.2.1.3 should be added to define ``right hand context''. 8. The Prolog `prologue'. The suggested predicates were reviewed. Some small corrections were made. 9. Review of the Reference Implementation. It was agreed that the version of the reference implementation at Ulrich Neumerkel's web site ``http://www.complang.tuwien.ac.at/ulrich/iso-prolog/dcgs/dcgs_exp.pl'' shall be the master copy and that the formatting in the technical report shall be verbatim format not lstlisting. (Resolution A 3) 8. Next meeting. The nest meeting will be in Vienna in conjunction with ICLP 2013. 9. The meeting adjourned at 4.00 p.m. on Wednesday September 5th. A. Resolutions. A 1. WG 17 asks Jonathan Hodgson, Klaus Daessler , and Ulrich Neumerkel to work together on a new version of the technical report on DCGS. A 2. WG 17 resolves that there shall be no if-then (`->' alone) for DCGs and it shall not be defined as implementation dependent. A 3 WG 17 resolves that the reference implementation at Ulrich Neumerkel's web site shall be the master copy and that the formatting in the technical report shall be verbatim format not lstlisting A 4. WG 17 resolves that phrase/3 shall be steadfast in it third argument and this shall apear in the definition of phrase. A 5. WG 17 resolves that in Corrigendum 3 to add that there shall be a write option ``variable_names'' by analogy with the read option of the same name. A 8. WG17 thanks the organizers of ICLP 2012 for their help in arranging this meeting. Individuals: Unanimous. Countries: Unanimous. B. Address List. Klaus Daessler Gesellschaft fur Mathematische Intelligenz Goethestrasse 34 D-01445 Radebeul Germany Tel: +49 351 8365590 E-mail: klaus.daessler@mathint.com Manuel Hermenegildo, herme@fi.upm.es Jonathan Hodgson Dept. of Computer Science St. Joseph's University 5600 City Avenue Philadelphia. PA 19131 USA Tel: +1 610 328 6835 E-Mail: jhodgson@sju.edu Gorkem Pacaci Kyrkoogardsgatan 10, Ekonomikum Box 513 Department of Informatics and Media Uppsala University Uppsala, Sweden. gorkenpacaci@gmail.com Ulrich Neumerkel Institut für Computersprachen E185/1 Technische Universität Wien Argentinierstraße 8/4 A-1040Wien Austria ulrich@complang.tuwien.ac.at David S. Warren, davidswarren@gmail.com