J17/2007//02
Annual Report for
J17 Prolog
and for the
US TAG to ISO/IEC JTC1 SC21 WG17
2006/06/01 - 2007/05/31
Prepared by
Dr. Jonathan P.E. Hodgson, Chair
INFORMAL DESCRIPTION OF THE AREA OF WORK (SCOPE) OF TECHNICAL COMMITTEE 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. WG17 is woking on a series of corrigenda to ISO/IEC 13211-1 and on a TR on Definite clause grammars. While in maintenca mode J17 provides advice to NCITS on the voting on these matters.
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. In this capacity it recommneded approval of a number of corrigenda to ISO/IEC 13211 - 1
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 (2006/7) Meetings; None
D.) Officers: Chair, Jonathan Hodgson, Saint Joseph's University
E.) Membership: See attached list.
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.
A.) WG17 has a new work item in the form of a technical report on Definite clause grammars. WG17 has prepared a number of corrigenda to part 1 of the standard and is considering additonal ones. J17 provides input at ballot time in keeping with its satatus as being in maintenance mode.
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. Spain has indicated that it is agreeable to formal participation in WG17.
Bowen, Kenneth A. (P)
Applied Logic Systems.
PO Box 175
Cambridge, MA 02140
617-497-0100
617-965-1636 (Fax
kbowen@als.com
Hought, Charles (A)
Applied Logic Systems
PO Box 175
Cambridge, MA 02140
Covington, Micheal, (P)
Artificial intelligence Center,
111 Boyd GSRC
The University of Georgia,
Athens, GA 30602-7415
706 542-0358
mc@uga.edu
Hodgson, Jonathan (P)
Department of Math and CSC
5600 City Avenue .
Philadelphia. PA 19131-1395
610-660-1571
FAX 610-660-3082
Kroening, Mary (P)
Amzi!, Inc.
5861Greentree Road
Lebanon, OH 45036
513-425-8050
FAX 513-425-8025
Mary.Kroening@amzi.com
Barra, Lynn
JCT1 TAG Administrator
1250 Eye Street, NW
Suite 200
Washington, DC 20005
202-626-5739
202-638-4922 (fax)
Document Register
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)
J17/2006/01: Letter ballot on Continuance of ISO/IEC 13211-2
J17/2006/02: Letter ballot on new work item Technical report on
Definite
clause grammars
J17/2006/03: Letter ballot on Corrigenda to ISO/IEC 13211-1
J17/2006/04: Accelerated letter ballot on Continuance of ISO/IEC 13211-1
J17/2006/05: Report to ITIC 2006 (Jonathan Hodgson)
J17/2007/01: Letter Ballot to approve J17's positon on reaffirmantion of ISO/IEC 13211-1