------------------------------------------------------- Minutes of meeting ISO/IEC JTC1 SC22 WG17 N231 ------------------------------------------------------- WG17 (Prolog) meeting, 8-9th July Lexington, Kentucky, USA Jonathan Hodgson ISO/IEC JTC1 SC22 WG17 (Prolog) Convener 0.1 Annexes A --- Resolutions. B --- Address list. 1. Attendance. Salvador Abreu, (Portugal) Mike Covington* (USA) , Klaus Daessler(Germany), Manuel Hermenegildo (Spain), Jonathan Hodgson (Convener) , Ulrich Neumerkel (Austria), Paul Tarau, (USA), David S. Warren (USA), Neng-Fa Zhou (USA). * Friday only. + Saturday only See Annex B for address list. The meeting began at 10:00 am Friday July 8th 2011. 2. Agenda for meeting -- N230.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 Edinburgh meeting The minutes of the Edinburgh meeting (N 221) meeting were approved unanimously. 5. Convener's announcements. a. The convener announced that the ballot on the new work item N223 ``Mutable terms'' had failed to secure the necessary five NBs in favour. A reballot also failed to reach the required number. b. The Corrigenda (WG17 N226) document passed. So this is now incorporated into part one. 6. Corrigenda Ulrich Neumerkel noted that there are some further corrigenda that are needed. It was decided that an edited table of contents should be made available on the web site. 7. DCGs (WG 17 N218 and N223) Klaus Daessler began the discussion of the latest draft of the DCGs document. The group worked on editing the draft document. Certain clauses can be removed as they refer to part one and add no new material. Although they should be kept with empty bodies so that the numbering of clauses that define new material agree with the numbering of clauses in part 1. In the course of the discussion of comprehensive terminal list it was decided that the current section 10 should be removed and replaced by a simple reference implementation for the case where no errors apply (Resolution A 3.) This allows for a simple description of phrase/3 by saying that the first argument is expanded and with the addition of the second and third arguments the resulting goal is called. Examples would be provided to illustrate special cases such a right hand contexts and negation. In 7.14.5.1 the description shall require that the sequence of Prolog goals must be non-empty. As for the (:) the content of 7.6 note 2 from part one should be used. See also reolution A 5 for the decsion on the introduction to clause where it was decide to remove most of this. 8. The Prolog `prologue'. Several names for the collection of extra predicates were considered : base, profile, initial, included predicates, bootstrapped,and startup. prelude The group settled on Prolog prologue. The following predicates were accepted (Resolutions A 1, A 2, and A 4. ) member/2, append/3 from source; length/2 where second argument if set must be an integer and non negative; between/3 with integers for arguments; select/3, as source; and succ/2 for natural numbers. On the other hand both plus/3, and delete/3 were rejected. 9. Review of the Reference Implementation. Ulrich Neumerkel showed a simple reference implementation to replace the existing code in N 229. 8. Next meeting. The next meeting will be in Budapest, Hungary in September 2012 co-located with ICLP 2012. 11. The meeting adjourned at 3:00 p.m. on Saturday July 9th. A. Resolutions. A 1. Resolved to create a list of predicates to be called the Prolog prologue that are generally present in all implementations but not found in the standard that will be available after inclusion of the prologue. The prologue shall provide member/2, append/3 defined as source code; length/2 with error checking on the second argument which must be a nonnegative integer; between/3 with integers for all arguments; select/3 defined as source code; succ/2 for natural numbers ; and maplist/2.. as defined in 8.15.4.4. Individuals: Unanimous. Countries: Unanimous. A 2. Resolved that Ulrich Neumerkel be asked to produce a document describing the Prolog prologue by November 1st. Individuals: Unanimous. Countries: Unanimous. A 3. Resolved that section 10 "Logical expansion of grammar rules" of N 229 be replaced by a simple reference implementation of DCGs for cases where no errors apply. Individuals: Unanimous. Countries: Unanimous. A 4. Resolved that there shall be no error checking for the second and third arguments of phrase/3, but there shall be error checking for the second argument of phrase/2. Individuals: Unanimous. Countries: Unanimous. A 5. Resolved that 7.14.6 of N229 be replaced by a brief introduction stating that the clause specifies meaning of (',')//2, (;)//2, (;)//2 -if then else , ('|')//2, !//0, and (\+)//1 in grammar rules. Individuals: Unanimous. Countries: Unanimous. A 6. Resolved that Klaus Daessler together with Jonathan Hodgson be asked to produce a new draft of the DCGs document by November 1st Individuals: Unanimous. Countries: Unanimous. A 7. WG17 thanks Roger Scowen for his service on WG17 and wishes him the best for the future. Individuals: Unanimous. Countries: Unanimous. A 8. WG17 thanks Katsuhiko Nakamura for his service on WG17 and wishes him the best for the future welcoming his intention to continue to work on the Japanese Prolog committee. Individuals: Unanimous. Countries: Unanimous. A 8. WG17 thanks the organizers of ICLP 2011 for their help in arranging this meeting. Individuals: Unanimous. Countries: Unanimous. B. Address List. Salvador Abreu, Departamento de Informatica Universidade de Evora, R. Romao Ramalho, 59 P-7000 Evora PORTUGAL spa@di.uevora.pt Mike Covington Gradute Studies Research Center Athens, Georgia 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 Paul Tarau, Dept. of Computer Science and Engineering, University of North Texas P.O. Box 311366, Denton, Texas 76203, USA E-mail: tarau@cs.unt.edu Ulrich Neumerkel Institut fuer Computersprachen E185/1 Technische Universitaet Wien Argentinierstrasse 8/4 A-1040Wien Austria ulrich@complang.tuwien.ac.at 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 --------------000105010708030702070102--