------------------------------------------------------- Minutes of meeting ISO/IEC JTC1 SC22 WG17 N260 ------------------------------------------------------- WG17 (Prolog) meeting, 18-20th July 2014, Vienna, Austria Jonathan Hodgson ISO/IEC JTC1 SC22 WG17 (Prolog) Convener 0.1 Annexes A --- Resolutions. B --- Address list. 1. Attendance. Klaus Daessler (Germany), Jonathan Hodgson (Convener) , Ulrich Neumerkel (Austria), Tamas Schmidt See Annex B for address list. The meeting began at 9:10 am July 18th 2014. 2. Agenda for meeting -- N254. The Agenda, with the change that item 8 will be taken first, was approved unanimously. 3. Drafting committee and secretary WG17 decided that if a drafting committee were to be required for this meeting Jonathan Hodgson and Ulrich Neumerkel would serve on it. Jonathan Hodgson agreed to serve as secretary. 4. Minutes of the Istanbul meeting. The minutes of the Istanbul meeting (N 250) with minor adjustments were approved unanimously. Jonathan Hodgson will email Joachim Schimpf about the original wording of the minutes and the change. 5. Convener's announcements. Jonathan Hodgson is unable to continue as convener beyond September 2014. 6. DCGs The following topics in the draft were addressed. a. Rules and Clauses. Mixing these is implementation dependent. b. The status of Section 10. c. Use of if then else -> and ; or |. d. The behaviour of \+ is implementation dependent. Per Mildner's comments were reviewed. The part II related material will be placed in a normative annex. 7. Amendment to part II Deferred. 8. Corrigenda Ulrich Neumerkel's document N258 (http://www.complang.tuwien.ac.at/ulrich/iso-prolog/WDCor3.html) was reviewed. Ulrich Neumerkel noted that following discusion at Istanbul agreement amongst implementations on variable_names/1 was reached on May 13th 2014 but the options issue is not complete. 9. Next meeting. To be determined. 10. The meeting adjourned at 2pm. on July 20th. A. Resolutions. A 1. Klaus Daessler shall produce a new version of the TR by August 31st 2014. Unanimous. A 2. WG 17 endorses the request of Ulrich Neumerkel to be convener of WG 17. Unanimous. A 3. The document N258 shall be the basis for the next round of corrigenda Unanimous. A 4. WG17 thanks Ulrich Neumerkel and TUWien for their assistance in arranging this meeting. 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 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 Ulrich Neumerkel Institut für Computersprachen E185/1 Technische Universität Wien Argentinierstraße 8/4 A-1040Wien Austria ulrich@complang.tuwien.ac.at Tamas Schmidt Institut für Computersprachen E185/1 Technische Universität Wien Argentinierstraße 8/4 A-1040 Wien Austria hmm@mips.complang.tuwien.aca.at