------------------------------------------------------- Minutes of meeting ISO/IEC JTC1 SC22 WG17 N221 ------------------------------------------------------- WG17 (Prolog) meeting, 20-21 July 2010 Edinburgh, Scotland Jonathan Hodgson ISO/IEC JTC1 SC22 WG17 (Prolog) Convener 0.1 Annexes A --- Resolutions. B --- Address list. 1. Attendance. Klaus Daessler(Germany), Manuel Hermenegildo* (Spain), Jonathan Hodgson (Convener), Katsuhiko Nakamura (Japan) , Ulrich Neumerkel (Austria), Roger Scowen (UK), David S. Warren* (US), Jan Wielemaker* (Holland), Neng-Fa Zhou* (US). * July 20th only. See Annex B for address list. 2 Agenda for meeting -- N219.The Agenda was approved. 3 Drafting committee and secretary WG17 decided that a drafting committee was not required for this meeting. Jonathan Hodgson agreed to serve as secretary. 4. Minutes of the Pasadena Meeting meeting (WG17 N214) The minutes of the Pasadena meeting were approved. 5. Corrigenda (WG17 N213) Ulrich Neumerkel lead a discussion of the proposed corrigenda to part 1. In a series of resolutions A1, and A2 it was decided to submit these for ballot as soon as possible. There was a short discussion as to whether or not term_variables/3 should be taken into account. It was inconclusive. But there was some desire to have it. 6. Globals. (WG17 N 221) Katsuhiko Nakamura led a discussion of the latest proposal on globals. There being general agreement on the parts of the text relating to mutable terms it was decided (resolutions A3 and A4) to split the document and place the consideration of globals into a second part of the Technical Report. The splitting of these two concerns is related to a need to delineate the concerns about sharing between globals that raise implementation issues. 7. DCGs (WG 17 N218 and N223) Klaus Daessler began the discussion of the latest draft of the DCGs document. 8. Ulrich Neumerkel reviewed the tasks remaining. It was agreed (A 5) to use uninstantiation_error for the name of new error. (Resolution A 1). 9. Evaluable functors. (WG17 N 224) Ulrich Neumerkel reviewed the evaluable functors. It was resolved (A 6) to add several that are already present in most implementations. 10. DCGs. (WG 17 N223) Klaus Daessler reviewed the new DCGs document. The role of '|', '[]', and '{}' as operators was discussed. Resolution A 7 limits the priorities allowed for ht_sep and resolution forbids the use of the others as operators. The following points were emphasized. a. The need to have informal descriptions of (',')//0, (;)//0 and the cut !//0 (Steadfastness, removal of appendix.) b. The translations should be steadfast c. The appendix should be removed; d. The reference implementation and the test cases need to be reviewed. It was resolved (A 9) to ask Klaus Daessler to produce a new draft. 8. Next meeting. The next meeting with be in Lexington Kentucky Co-located with ICLP 2011. 11. The meeting adjourned at 3:52pm on Wednesday July 21st. A. Resolutions. A 1. Resolved that the missing error corresponding to a call to open/3,4 in which the stream variable is instantiated be called uninstantiation_error and that a corrigendum to this effect be submitted. Individuals: Unanimous. Countries: Unanimous. A 2. Resolved that the predicates in the following list, compare/3, sort/2, keysort/2, ground/1, call/2-8, false/0, callable/1, subsumes_term/2, acyclic_term/1, term_variables/2, and retractall/1, unaccountably omitted from part 1 but present in most implementations be added as corrigenda. Individuals: Unanimous. Countries: Unanimous. A 3. Resolved to split the Technical report on globals into two parts the first on mutable terms and the second on globals. Individuals: Unanimous. Countries: Unanimous. A 4. Resolved that Japan be asked to prepare a new version of the mutables section of the current proposal by September 8th to be submitted for initial ballot with the request for a new work item on mutable terms and globals. Individuals: Unanimous. Countries: Unanimous. A 5. Resolved that Ulrich Neumerkel take over as editor for part 1. Individuals: Unanimous. Countries: Unanimous. A 6. Resolved that the evaluable functors on the following list be added by means of a corrigendum: (+)/1, max/2, min/2, acos/1, asin/1, tan/1, pi/0, xor/2 (as functor only), atan2/2, (^)/2, and (div)/2. Individuals: Unanimous. Countries: Unanimous. A 7. Resolved to change 6.3.4.3 of part 1 to allow the bar character | as an operator, but only if its precedence is greater than or equal to 1001. Individuals: Unanimous. Countries: Unanimous. A 8. Resolved to change 6.3.4.3 to forbid the creation of operators called '{}' or '[]'. Individuals: Unanimous. Countries: Unanimous. A 9. WG 17 asks Klaus Daessler to produce a new draft of the DCGs document by November 15th and asks Jonathan Hodgson to review the test cases. Individuals: Unanimous. Countries: Unanimous. A 10. WG17 thanks the organizers of FLOC 2010 and ICLP 2010 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 660 1571 Fax: +1 215 473 0001 E-Mail: jhodgson@sju.edu Professor K Nakamura Faculty of Science and Engineering Tokyo Denki University Hatoyama-machi Saitama-Ken 350-0394 JAPAN Tel: +81 492 96 2911 Fax: +81 492 96 6185 E-Mail: nakamura@k.dendai.ac.jp Ulrich Neumerkel Institut für Computersprachen E185/1 Technische Universität Wien Argentinierstraße 8/4 A-1040Wien Austria ulrich@complang.tuwien.ac.at Roger Scowen, patscowen@waitrose.com David S. Warren, davidswarren@gmail.com Jan Wielemaker, HCS, Univ v Amsterdam, Kruislaan 41G Amsterdam The Netherlands E-mail: jan@swi-prolog.org Neng-Fa Zhou The City University of New York 2900 Bedford Avenue, Brooklyn, NY 11210-2889 nzhou@acm.org