in050315

                                 J17/2005/01

 

Annual Report for

J17 Prolog

and for the

US TAG to ISO/IEC JTC1 SC21 WG17

2004/01/01 - 2005/04/30

Prepared by

Dr. Jonathan P.E. Hodgson, Chair 

 

INFORMAL DESCRIPTION OF THE AREA OF WORK (SCOPE) OF TECHNICAL J17 (PROLOG).

Technical committee J17, Prolog, is the US TAG to ISO/IEC JTC/SC22/WG17 (Prolog). Its scope is the development of an international standard for the programming language Prolog that can also serve as US standard.

   I. Executive Summary 

      A.) ISO/IEC 13211-2 was published on June 1st 2000.

 II. Project


A.) Prolog,  X3 Project number: 748-D,   JTC 1 Project: 22.22
B.) Current Target dates:
C.) Project Description:
Development of an international standard for programming language Prolog that can be accepted as an ANSI standard.
D.) Publications:
ISO/IEC 13211 Programming Language Prolog -- General Core
ISO/IEC Doc.: IS 13211-1:1995 JTC 1 Project: 22.22.01

Programming Language Prolog -- Modules
ISO/IEC Doc.: IS 13211-2:2000 JTC 1 Project: 22.22.02
E.)
Accomplishments During the report period:
1.) J17 has been in maintenance mode since November 2000.
F.)   Status:
ISO/IEC 13211-2 was approved by a letter ballot that closed 20th March 2000. The standard was published on June 1, 2000.
G.)   Reasons for delay:
None.
 

 

III. Committee Activities


A.)
Meetings: 
None.
B.) Next year's (2005/6)  Meetings:
None.
D.) Officers:
Chair, Jonathan Hodgson, Saint Joseph's University

E.) Membership:
F.) Liaison:
ISO-IEC/JTC1/SC22/WG17 on Prolog.
G.) Administrative:
None.
H.)
 Procedural:
X3J17 carries out much of its work on the Internet. Drafts of documents are exchanged several times before meetings as well as discussions of  topics on which X3J17 must provide recommendations. Information on the activities of X3J17 is accessible through the web at both the home page  for X3J17 (http://www.sju.edu/~jhodgson/x3j17.html) and the home page for North American Logic Programming (http/:www.logic-programming.org.).  X3J17 also maintains the WG17 web page at www.sju.edu/~jhodgson/wg17/wg17web.html. X3J17 (and WG17) uses LaTeX for formatting all its major documents.  These are exchanged either in source form as LaTeX files or as postscript files.

 I.) Recommendations: 
None.

 

IV. Anticipated Projects 

       A.)  None


V. Future Trends
A.) With the approval of the standard for the general core of Prolog and the availability of standard conforming implementations the special abilities of Prolog should become more widely used. Recently the Prolog community has shown interest in further standardization efforts. WG17 will meet in fall 2005 to consider grammars and global variables.

Membership List

Bowen, Kenneth A.      (P)              

Applied Logic Systems.                  

PO Box 175                                   

Cambridge, MA 02140                  

617-497-0100

617-965-1636 (Fax                      

ken@als.com 

Hought, Charles  (A)

Applied LogicSystems

PO Box 175

Cambridge, MA 02140 

                       

Hodgson, Jonathan (P)                 

Department of Math and CSC            

5600 City Avenue                         .

Philadelphia. PA 19131-1395             

610-660-1571                            

FAX 610-660-3082

jhodgson@sju.edu

Haegedus, Dennis (P)

Boeing Company

Boeing Commerical Airplane Group

PO Box 3707 #MS 7F-73

Seattle, WA  98124-2207 
                                                                   

Kroening, Mary   (P)                   

Amzi!, Inc.                         

5861Greentree Road                    

Lebanon, OH 45036                       

Waltham. MA. 02254

513-425-8050

FAX 513-425-8025                        

mary@amzi.com

Barra, Lynn

Associate Director, Standards Operations

1250 Eye Street, NW

Suite 200

Washington, DC 20005

202-626-5739

202-638-4922 (fax)

Document Register

X3J17/95/1:    Modules - Working draft 7.0 (Jonathan Hodgson)

X3J17/95/2:    Report to OMC.  May 1995.  (Jonathan Hodgson).

X3J17/95/3:    Modules - Working Draft 8.0 (Jonathan Hodgson)

X3J17/95/4:    Agenda for Seattle Meeting

X3J17/95/5:    Modules - Working Draft 8.1 (Jonathan Hodgson)

X3J17/95/6:    Minutes of July Meeting (Jonathan Hodgson)

X3J17/96/1:    Report to WG 17.   (Jonathan Hodgson)

X3J17/96/2:    Preliminary draft for CD 2 for discussion at April meeting

X3J17/96/3:    Agenda for Newton Center Meeting. April 1996

X3J17/96/4:    Minutes of Newton Center Meeting April 1996 (Jonathan Hodgson)

X3J17/96/5:    Working draft 9.01 for Modules CD 2 May 1996 (Jonathan Hodgson)

X3J17/96/6:    Report to OMC.  May 1996.  (Jonathan Hodgson).

X3J17/97/1:    Agenda for Waltham Meeting July 1997 (Jonathan Hodgson)

X3J17/97/2:    Working Draft 10.01 for Modules FCD July 1997 (Jonathan Hodgson)

X3J17/97/3:    Minutes of Waltham Meeting. July 1997 (Jonathan Hodgson)

X3J17/97/4:    Report to OMC Aug 1997 (Jonathan Hodgson)

X3J17/97/5:    Working Draft 10.02 for FCD. (Jonathan Hodgson)

J17/98/1:         Proposed FCD (Version 10.52) Jonathan Hodgson

J17/98/2:        Agenda for Conference call. 24 July 1998

J17/98/3:        Minutes of Conference call July 24 1998.

J17/98/4:        Letter ballot on approval of FCD.  July 27th, 1998

J17/98/5:        Report to ITIC August 1998.

J17/99/1:        Proposed FDIS (version 11.02) Jonathan Hodgson. July 1999.

J17/99/2:        Report to ITIC September 1999

J17/99/3:        Agenda for Conference Call 1999/09/22

J17/99/4:        Minutes of Conference call 1999/09/22

J17/99/5:        Letter ballot on Approval of FDIS. 1999/09/23

J17/2000/1:    Report to ITIC 2000/03/15 (Jonathan Hodgson)

J17/2000/2:    Letter ballot on continuance of ISO/IEC-13211-1.

J17/2000/3:    Letter ballot on transition to maintenance status.

J17/2000/4:    Report to ITIC 2001 (Jonathan Hodgson)

J17/2002/01:  Report to ITIC 2002 (Jonathan Hodgson)

J17/2003/01:  Report to ITIC 2003 (Jonathan Hodgson)

J17/2004/01:  Report to ITIC 2004 (Jonathan Hodgson)

J17/2005/01:  Report to ITIC 2005 (Jonathan Hodgson)