🚀 go-pugleaf

              X3 ANNOUNCES FORMATION OF A NEW TECHNICAL COMMITTEE,
                                 X3J17, PROLOG,
                  TO DEVELOP AN AMERICAN NATIONAL STANDARD FOR
                           PROGRAMMING LANGUAGE PROLOG


            Washington, D.C. -- Accredited Standards Committee X3,
            Information Processing Systems, announces the formation
            of a new Technical Committee X3J17, Prolog.

            The Prolog programming language has become firmly estab-
            lished worldwide, with implementations on all sizes and
            types of computers.  A standard needs to be developed
            establishing an abstract and concrete syntax for the so-
            called "pure logical core" of the language, along with
            model-theoretic and operational semantics as needed.  In
            addition a common set of built-in routines and a set of
            "extra-logical" and "non-logical" extensions to the pure-
            core should also be specified.

            Technical Committee X3J17, Prolog, is being formed to
            address these issues, and to participate in the interna-
            tional working group on Prolog, JTC1/SC22/WG17.  The
            intention is to participate in developing an acceptable
            international standard and to adopt it as an ANSI
            standard.

            The first meeting of Technical Committee X3J17 will be as
            follows:

                      Starting date and time:   10 AM April 25, 1990
                      Ending date and time:      5 PM April 26, 1990
                      Location:                 X3 Secretariat/CBEMA
                                                Suite 500
                                                311 First Street, NW
                                                Washington, DC 20001

            For  further  information, please contact the Convenor of
            X3J17 or the X3 Secretariat, as follows:


             Dr. Walter G. Wilson             Mr. Jean-Paul Emard
             X3J17 Convenor                   Director, X3 Secretariat
             T.J. Watson Research Center      Suite 500
             P.O. Box 704                     311 First Street, NW
             Yorktown Heights, NY 10598       Washington, DC 20001
             Tel.: (914) 789-7869             Tel.: (202) 626-5740


	     OR send e-mail to dbowen%quintus.com@sun.com


  AGENDA FOR MEETING
  __________________


            o   Wed, 25th:

                -   10.00 - 12.00 Introduction to X3, SPARC procedures
                -   12.00 - 1.00  Election of recording secretary
                -   1.00  - 2.00  Lunch
                -   2.00  - 3.00  Overview of ISO issues: Modules, I/O, 
				  Strings, Unification of non-finite terms
                -   3.00  - 6.00  Modules, consult

            o   Thursday 26th:

                -   9.00  - 12.00 I/O, strings
                -   12.00 - 1.00  Lunch
                -   1.00  - 2.00  Misc
                -   2.00  - 4.00  Planning, election of other officers


  SUGGESTED HOTELS IN WASHINGTON
  ______________________________


            (10 min walking distance from the meeting location)

                      Quality Inn Capitol Hill
                      415 New Jersey Av
                      NW 20001
                      Tel : (202) 638 16 16

                      Hyatt Regency Washington
                      400 New Jersey Av
                      NW 20001