ISO/IEC JTC1/SC22/WG17: Documents

JTC1/SC22/WG17: Documents

This is an index of papers circulated to the Prolog standardization working group and some other relevant papers.

It updates N125. Earlier Prolog standardization papers produced by BSI and AFNOR are indexed in N25 (pages 4-17).

Documents are in English.

Availability

A copy of current WG17 documents can sometimes be obtained from Roger Scowen. Copies of JTC1 and SC22 documents are available from member bodies, for example AFNOR, ANSI, BSI, DIN, etc.

Colours

The covers of large WG17 documents (from N48 onwards) are colour coded for the reader's convenience:

[Light blue] A draft standard.
[Dark blue] A commentary, or a ``Disposition of comments'' report.
[Green] Minutes and resolutions of WG17 meetings.
[Pink] Document register.
[Peach] Individual and Member body contributions.
[Orange] Specialized papers available only on request.

A chronological listing of all WG17 documents. Persons wishing to obtain documents should contact the convener Roger Scowen

1987 | 1988 | 1989 | 1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005| 2006| 2007| 2008 | 2009 | 2010 | 2011

1987 Documents

N1 R S Scowen, Document Register and References, 16 pages, October 1987.
N2 R S Scowen, BSI and ISO Prolog Panels - Circulation list update.
N3 A Dodd, A J Mansfield, R S Scowen, Prolog - Built-in predicates: draft 4.1, 19 pages, November 1987.
N4 P Deransart, G Richard, Prolog - Formal specification: draft 3, 129 pages, December 1987.
N5 R S Scowen, Prolog - Built-in predicates: draft 4.2, 6 pages, December 1987.

1988 Documents

N6 A J Mansfield (editor),
Standardization issues: S001-S054 update, S055, S056, 16 pages, February 1988.
N7 C D S Moss, G Blomberg,
Prolog Syntax: Draft 4,
16 pages, February 1988.

Note -- Pages 2-10, a draft of the normal syntax for standard Prolog are obsolete, see N9 (pages 2-11) for the next draft. Pages 11-16 contain an S-expression syntax for standard Prolog. This was not included in the standard.
N8 P Deransart, G Ferrand,
Prolog - An operational formal definition, 6 + 32 pages, February 1988.
N9 C D S Moss,
Prolog Syntax: Draft 4.2 and comments, 27 pages, March 1988.
Note -- Pages 2-11, a draft of the normal syntax for standard Prolog are obsolete, see N29 for the next draft. Pages 12-27 contain an introduction to the syntax, and a discussion of various problems.
N10 E Fermaut, L Cervoni,
Prolog Syntax: comments (AFNOR F50, F51) 15 pages, March 1988.
N11 N D North,
Terminology: draft 3.1,
5 pages, April 1988, National Physical Laboratory, Teddington.
Note -- Obsolete - see N34, pages 29-34.

N12 R S Scowen (editor),
Oxford 1988 papers, i + 82 pages, April 1988.

Note -- A collection of papers distributed at the SC22 WG17 meeting in Oxford, March 1988.

   CONTENTS
   1 - Document Register - A supplement to SC22 WG17 N1.
   3 - ISO/IEC JTC1 N15 - Summary of voting on Document TC97 N1928,
   Proposal for a NWI on the specification
   for the programming language Prolog.
   7 - ISO/IEC JTC1 N130 (extract) - Resolutions XVIII and XIX adopted at
   the first Plenary Meeting of ISO/IEC JTC1, Tokyo, 17-20 November 1987.
   9 - ISO/IEC JTC1 N145 - JTC1 Statement of Policy on Formal Description
   Techniques - obsolete, see JTC1 N385, 6.5.1.6 and Annex F.
   16 - ISO/TC97/SC22 N460 - Japanese Member Body contribution on
   Requirements for Character Handling in Programming Languages.
   19 - AFNOR CG 97/CN 22/GE PROLOG F53 - Proposition for a
   Prolog syntax - see N19 for a later version.
   28 - J-F Pique (PrologIA) - AFNOR Proposition for modules in Prolog
   - see N18 for a later version.
   35 - Highlights of the Canadian position on the BSI proposals
   (as presented in N1 - N8).
   36 - DS - Danish interest in ISO-Prolog.
   41 - DIN NI22 AK17 Prolog PN-15 - DIN comments on
   Built-in predicates (draft 4 - PS/201, N3, N5).
   44 - DIN NI22 AK17 Prolog PN-16 - National standardization member document.
   48 - DIN NI22 AK17 Prolog PN-18 - Modules in Prolog (Draft, Feb 1988).
   63 - DIN NI22 AK17 Prolog PN-19 - Systematics and layout for the
   description of built-in predicates.
   66 - T Chikayama - Unique features of ESP (ICOT Tech Memo TM-0055).
   75 - A Krall - Implementation of a High Speed Prolog Interpreter
  (VIP = Vienna Integrated Prolog, Technical University of Vienna).

N13 A J Mansfield, N D North, R S Scowen (editors),
Oxford 1988 meeting: minutes, resolutions, participants, 8 pages, May 1988. = SC22 N522.
N14 R S Scowen (editor),
Modules in prolog: a discussion paper, 2-7 pages, July 1988.
N15 R S Scowen (editor),
Functions in standard prolog? A discussion paper, 14 pages, July 1988.
Note -- User-defined functions were deleted from Prolog in November 1990 (N68, A20).
N16 R S Scowen (editor),
Working draft 0.1, v + 27 pages, August 1988.
Note -- This showed the current state of what will grew into Working Draft 1.0 of ISO Standard Prolog. It was distributed only to project editors and active members. Other members received N22.
N17 N D North (editor),
Strings in standard prolog? A discussion paper, 9 pages, August 1988.
N18 (F58) AFNOR,
Proposition for modules in Prolog, 10 pages, August 1988.
Note -- A rationalization and clarification of the proposal in pages 28-34 of N12 (also circulated as AFNOR F49). Obsolete - see N47.
N19 (F59) AFNOR,
AFNOR proposition for a Prolog syntax - draft 2, 9 pages, August 1988.
Note -- Obsolete - see N33, pages 4-10.

N20 DIN - K Daessler, P Folkjaer (editors),
DIN papers for discussion at 2nd WG17 meeting, Munich 1988, i + 47 pages, September 1988.

Note -- A collection of papers distributed at the SC22 WG17 meeting in Grassau, October 1988.

   CONTENTS
   1 - Remarks on further proceeding with the working drafts.
   3 - Draft Proposed ISO Standard for Information Systems - Programming
   Language PROLOG.
   36 - P Schnupp - A case for good old strings.
   41-47 - K Daessler - A Prolog text formatter.

N21 R S Scowen (editor),
Working draft 0.2, viii + 46 pages, September 1988.
Note -- Obsolete - see N28, N29.
N22 D Nelson - SC22 WG11,
Language-independent procedure calls and data types, 2 + 3 + 2 + 2 + 2 + 2 + 14 pages, 1988.

N23 R S Scowen (editor),
Grassau 1988 papers - 1, vi + 35 pages, September 1988.

Note -- A collection of documents distributed for the SC22 WG17 meeting in Grassau, Germany, October 1988.

   CONTENTS
   ii - Document Register - A supplement to SC22 WG17 N1.
   1 - J-F Pique, AFNOR - Comments on N16, Working draft 0.1.
   6 - E Fermaut (Syseca) AFNOR - Comments on PS/201, N3, N5 (Built-in
    predicates.
   12-13 - Z Zein (IBM), AFNOR - Ordering of variables in Prolog.
   14-30 - T Reix, Bull SA - SP-Prolog Module system, comments on N14.
   31 - G K Thwaites, SD-Scicon - Functor based modules in Prolog.

N24 R S Scowen (editor),
Grassau 1988 papers - 2, i + 85 pages, October 1988.

Note -- A collection of documents distributed at the SC22 WG17 meeting in Grassau, Germany, October 1988.

   CONTENTS 
   1 - Canadian Standards Association - Include logic grammars in
    standard Prolog.
   5 - Canadian Standards Association - Decrease the overloading of
   comma.
   6 - Canadian Standards Association - If-then considered harmful.
   7 -  K Nakamura (Japanese National Working group for SC22 WG17)
   - Draft: Incorporating object-oriented capabilities into Prolog.
   24 -  K Nakamura (Japanese National Working group for SC22 WG17)
   - International Character Sets Handling (Memo).
   26 - Swiss Standardization Body (SNV) - Swiss position on selected issues
   of the current proposals.
   28 - N D North (BSI) - Comments on AFNOR's study of built-in
   predicates.
   29 - B Demoen (Belgium) - Comments on a standard for Prolog.
   32-35 - F Kluzniak, Comments on proposed standard Prolog.
   36-45 - A Krall, e Kuehn, U Neumerkel - A proposal for modules in Prolog.
   46-50 - MPROLOG - Chapter 3 - Programs and modules.
   51-77 - M Meier, M Dorochevsky, D de Villeneuve, A Herold,
   P Tsahageas (ECRC) - The SEPIA module system, comments on modules,
    specification of built-in predicates, comments on instantiation faults.
   78 - S Kondo, T Chikayama - Macro processing.

N25 R S Scowen,
Document Register and References, 21 pages, November 1988.
N26 A J Mansfield, N D North, R S Scowen (editors), Grassau 1988 meeting: minutes, participants, resolutions, 8 pages, November 1988. = SC22 N609.

1989 Documents

N27 L Cervoni, R S Scowen,
WG17 meeting, Paris 1989: Announcement, draft agenda, iv pages, January 1989. = SC22 N599.
N28 P Deransart, P Folkjaer, J-F Pique, R S Scowen,
Draft for Working draft 1.0, vi + 88 pages, February 1989.
Note -- This shows the current state of what will ultimately grow into Working Draft 1.0 of the standard. It contains some gaps, notably in syntax (see N29) and built-in predicates for input/output. There are many misprints, inconsistencies, and other errors.
N29 P Folkjaer,
Draft syntax for Working Draft 1.0, 17 pages, February 1989.
Note -- This forms clause 7 of N28. N33, pages 2-3 contains comments on N29.
N30 R S Scowen,
Document register - a supplement to N25, 4 pages, April 1989.

N31 G M Karam, A Vellino, S Szpakowicz,
CSA papers for discussion, i + 22 pages, February 1989.

Note -- A collection of papers prepared for the SC22 WG17 meeting in Paris, April 1989.

   CONTENTS
   1 - A Vellino (Compiler) - Which syntax for standard Prolog?
   5 - S Szpakowicz (Compiler) - Comments on recent principal
   WG17 documents (N20, N21, N26).
   11 - G M Karam - An improvement on exception handling in Prolog.
   18 -  S Szpakowicz (Compiler) - There are no types in Prolog.
   21 -  S Szpakowicz (Compiler) - A case against strings (see N17, N26).

N32 S Kondo, T Chikayama, K Nakamura, O Nakazawa,
Japanese papers for discussion, i + 58 pages, March 1989.

Note -- A collection of papers prepared for the SC22 WG17 meeting in Paris, April 1989.

   CONTENTS 
   1 - Japanese National Group - Multi-octet character set handling in Prolog.
   29 - Japanese National Group - Proposal and comments on built-in predicates.
   31 - K Nakamura, O Nakazawa - Object-oriented programming in Prolog.
   47-58 - S Kondo, T Chikayama - Macro processing in Prolog.

N33 BSI, AFNOR, G K Thwaites,
Syntax for standard Prolog - Problems, Proposals, Program, i + 44 pages, March 1989.

Note -- A collection of papers prepared for the SC22 WG17 meeting in Paris, April 1989.

   CONTENTS 
   1-1 -  BSI - Prolog syntax problems.
   2 -  A J Mansfield, N D North, G K Thwaites - Comments on DIN syntax.
   4 - AFNOR proposition for a Prolog syntax.
   11 -  AFNOR - The effect of the AFNOR proposal on the present
   Edinburgh syntax.
   18 -  G K Thwaites - A revised syntax for Prolog.
   27-44 -  G K Thwaites - A Prolog implementation of ISO syntax.

N34 R S Scowen (editor),
Paris papers - 1, ii + 34 pages, March 1989.

Note -- A collection of papers prepared for the SC22 WG17 meeting in Paris, April 1989.

   CONTENTS 
   1-2 - N D North (editor) - Issue S057 - Recorded data base.
   3-4 - R S Scowen (editor) - Issue S058 - 
   Complete, partial, or no definition? 
   5 - AFNOR - Comments on N28 (Draft for Working draft).
   13 - B Demoen - Comments on N28 (Draft for Working draft).
   15 - A J Mansfield - Comments on N28 (Draft for Working draft).
   20-27 -  A J Mansfield - An explanation of the formal definition 
   (N28, clause 8).  (This explanation of the formal semantics is now
   available from National Physical Laboratory
   as NPL Report DITC 149/89, October 1989).
   28 -  J-F Pique - Discussion on mixing data types in arithmetic expressions.
   29 -  K Daessler, P Deransart, N D North (editor) - Terminology of Prolog
      (March 1989 revision of N28 Annex F).

N35 R S Scowen (editor),
Paris papers - 2, i + 68 pages, May 1989.

Note -- A collection of papers tabled at the SC22 WG17 meeting in Paris, April 1989.

   CONTENTS
   1-1 - Project editors - BIPs, failure or error principles.
   2 - Project editors - Evaluable functors (Revision of N28, section 10).
   8-9 - R S Scowen - Report of Project Editors meeting, Paris, 9 March 1989.
   10 - P Deransart, G Richard - Unification in Standard Prolog.
   21 - Denmark - Input for WG17 Paris meeting.
   23 - France - Built-in predicates: draft 2 (a revision of N23, pp6-11).
   31 - Germany - Minutes of meeting on 6 April 1989 at ECRC, Munich.
   35 - Switzerland - Comments on N28.
   40 - B Demoen - Miscellaneous comments.
   46 - B Demoen - A 20 minute implementation of catch and throw in WAM.
   53 - J Chiabaut - The mod operator in BNR Prolog.
   55-68 - K Nakamura, O Nakazawa - Incorporating Object-Oriented 
   Paradigm in Prolog (a revision of N32, pp31-46).
   69 - Japanese Working Group - Multi-octet character set handling
    in Prolog - amendment to N32 page 2, insertion after N32 page 8.

N36 N D North, R S Scowen (editors),
Paris 1989 meeting: minutes, resolutions, participants, 10 pages, May 1989. = SC22 N657.
N37 C D S Moss, T G Lindholm, R A O'Keefe,
Prolog semantics - Cut, assert and retract, ii + 15 pages, May 1989.
Note -- This is a reprint of two papers that justify the current semantics of cut, and the ``logical'' view of the assert and retract predicates. Chris Moss's paper was originally published as BSI IST/5/17 PS/94 and presented at the third International Conference on Logic Programming. Its suggestions for the definition of cut, assert and retract were adopted by BSI as a simple clear definition of these concepts and predicates for Standard Prolog. The second paper amplifies the first and shows how an efficient implementation is possible for this model of assert/retract. It is a reprint of T G Lindholm and R A O'Keefe, Efficient implementation of a defensible semantics for dynamic Prolog code, in J-L Lassez (editor): Logic Programming: Proceedings of the Fourth International Conference, Vol. 1. MIT Press 1987. pp. 21-39.
N38 A Vellino, R S Scowen,
WG17 meeting, Ottawa 1989: Announcement, draft agenda, i + 4 pages, July 1989. = SC22 N671.
N39 S Szpakowicz (editor), The structure of the standard, 8 pages, July 1989.
Note -- This paper determined the structure of subsequent drafts of the standard.
N40 P Deransart, P Folkjaer, J-F Pique, R S Scowen,
Draft for Working draft 2.0, v + 96 pages, July 1989.
Note -- This replaces N28 and N29; it shows the current state of what will ultimately grow into the first Draft Proposal of the standard. It contains few gaps, but many misprints and other errors. N41, N43, N44, N49, and N51 all comment on this draft.

N41 R S Scowen (editor), Comments and errata for N40, 12 pages, August 1989.

Note -- A collection of papers prepared for the SC22 WG17 meeting in Ottawa, October 1989.

   CONTENTS 
   1 - R S Scowen - 2.1 Atoms and/or strings.
   3 - P Folkjaer - 2.2 Input output predicates.
   3 - R S Scowen, P Deransart - 2.3 On Unification.
   4 - N D North -  2.4 Unification.
   5 - Comments on N40: further views and queries on its meaning.
   9 - Errata for N40.

N42 R P Morris,
Input/output - survey and proposals, ii + 15 pages, August 1989.
Note -- Surveys the input/output facilities in Quintus, SICSTUS, Prolog-2, C-Prolog, Turbo Prolog, Arity/Prolog, Sp-Prolog. It proposes I/O for standard Prolog should be based on the facilities in standard C.
N43 E Fermaut (editor),
AFNOR comments on N40, i + 12 pages, September 1989.

N44 B L Meek, B Demoen, T Reix, G K Thwaites,
Further comments on N40, 12 pages, September 1989.

Note -- A collection of papers prepared for the SC22 WG17 meeting in Ottawa, October 1989.

   CONTENTS 
   1 - G K Thwaites - Comments on N40.  
   2 - B Demoen - Comments on N40.  
   3 - Project editors - Should we base I/O on standard C, proposal 
   and responses.
   5 - T Reix - An AFNOR proposal generalizing prolog flags,
   9 - B L Meek - Comments on N39 - structure and content of the standard.

N45 Z Zein,
Proposal for modules, iv + 12 pages, September 1989.
N46 R S Scowen,
Report to ISO/IEC JTC1 SC22 Plenary from WG17 (Prolog), 1 page, September 1989. = SC22 N718.
N47 J-F Pique, U Neumerkel,
Modules: joint French and Austrian proposal, 16 pages, September 1989.
N48 A Vellino, R S Scowen (editors),
Ottawa 1989 meeting: minutes, resolutions, participants, 9 pages, November 1989. = SC22 N747.

N49 R S Scowen (editor),
Ottawa papers, i + 53 pages, November 1989.

Note -- A collection of documents distributed at the SC22 WG17 meeting in Ottawa, Canada, October 1989.

   CONTENTS
   1 - Japan (M Negishi, Y Morisawa, M Tajima, K Nakamura (editors)) -
   Multi-octet character sets in Prolog.
   8 - Japan (S Kondo) - Proposal for macro processing in Prolog.
   11 - Germany (K Daessler, P Folkjaer) - DIN documents for discussion.
   46 - Canada (G M Karam) - Comments on module contributions.
   47 - S Szpakowicz - Various detailed comments on N40.
   53 - Zs Farkas - Comments on exception handling in Prolog.

N50 R S Scowen,
Document register - a supplement to N25, 6 pages, November 1989.
N51 R A O'Keefe,
Prolog arithmetic and input/output - Comments on N40 and N42, 29 pages, November 1989.
N52 U Neumerkel, R S Scowen,
WG17 meeting, Vienna 1990: Announcement, draft agenda, 2 pages, December 1989. = SC22 N748.

1990 Documents

N53 P Deransart, P Folkjaer, J-F Pique, R S Scowen,
Draft for Working draft 3.0, iii + 77 pages, February 1990.
Note -- This replaced most of N40 showing the current state of what ultimately grew into the first Draft Proposal of the standard. It contained gaps where there was no change from N40 or insufficient time to make changes. N56, N57, and N59 all comment on this draft.
N54 R S Scowen,
Comments on Prolog draft N40 - a response from the editor, 19 pages, February 1990.

N55 Japan, D L Bowen, R A O'Keefe, A Stitcher, B Demoen, M Gillet,
Vienna papers - 1 - Input/output and modules, i + 31 pages, March 1990.

Note --

   1 - Japan - International character set handling in Prolog.
   2 -  D L Bowen, R A O'Keefe - Stream and file handling in
    standard Prolog.
   10 - A Stitcher - I/O in standard Prolog requires ``flush''.
   11 - B Demoen - A proposal for modules unifying the predicate-based
    and atom-based concepts.
   20 - M Gillet - Adding meta-predicates to the module system in N45
    and comments on Bart Demoen's proposal.

N56 B Daum, B Demoen, A J Mansfield, N D North,
Comments on N53, 15 pages, March 1990.
N57 AFNOR,
Comments on N53, 8 pages, April 1990.

N58 E Boerger, K Daessler (editor),
DIN papers for discussion, ii + 114 pages, April 1990.

Note --

   1 - DIN proposal for further proceeding with the working draft.
   3 - Draft proposed standard for programming language Prolog.
   93 - E Boerger - A logical operational semantics of full Prolog: part II
    - Built-in predicates for database manipulations.

N59 Japan, B Daum, P Deransart, M Fromherz, R S Scowen,
Vienna papers - 2 - Unification, consult, strings, etc, i + 36 pages, April 1990.

Note --

   1 - Japan - International character set handling in Prolog, Strings,
   Predicates for meta-programming.
   12 - B Daum, M Fromherz - Comments on N53.
   15 - P Deransart, The problem of unification in standard Prolog -
    a discussion paper.
   19 - R S Scowen, Unification - another discussion paper.
   31 - R S Scowen, Consult and reconsult - a discussion paper and proposal.

N60 N D North, R S Scowen (editors),
Vienna 1990 meeting: minutes, resolutions, participants, 9 pages, May 1990. = SC22 N803.

N61 Canada, France, R S Scowen, Z Zein,
Vienna papers - 3 - Informal introduction, etc, iii + 30 pages, May 1990.

Note --

   1 - Canada - Overview of standard Prolog.
   22 - France - AFNOR position on dynamic databases
     (CNTI CN 22 GE PROLOG N23)
   25 - Z Zein - Comments on strings, modules, multi octet character
     sets, max_integer.
   30 - R S Scowen - Brief notes for new members of SC22 WG17.

N62 Zs Farkas, R S Scowen,
WG17 meeting, Budapest 1990: Announcement, draft agenda, 2 pages, August 1990. = SC22 N813.
N63 R S Scowen,
Comments on Prolog draft N53 - a response from the editor, 25 pages, September 1990.
N64 R S Scowen,
Draft for Working draft 4.0, iv + 117 pages, September 1990.
Note -- This replaced N40 and N53 showing the current state of what ultimately grew into the first Draft Proposal of the standard. N66, N69, and N73 all comment on this draft.
N65 R S Scowen,
Report to ISO/IEC JTC1 SC22 advisory group from WG17 (Prolog), 1 page, October 1990. = SC22 N854.
N66 N D North, R S Scowen,
Comments on N64, 9 pages, October 1990.

N67 Japan, UK, USA, SC21, D L Bowen, Y C Chan, R S Scowen,
Budapest papers - 1 - Input/output, if-then-else, text processing, etc, ii + 51 pages, October 1990.

Note --

   1 - SC21 - Liaison statement to SC22 concerning Character
     Internationalization (SC22 N829, SC21 N4672).
   15 - Japan - Character handling requirements in programming 
     languages (SC22 N776)
   21 - Britain - Position on standardizing Prolog.
   23 - USA - Minutes of meeting and miscellaneous papers.
   39 - D L Bowen - File selection and Control - clarification.
   43 - R S Scowen - Adding if-then-else to standard Prolog.
   49 - Y C Chan - Handling errors in Prolog.

N68 N D North, R S Scowen (editors),
Budapest 1990 meeting: minutes, resolutions, participants, 11 pages, November 1990. = SC22 N892.
N69 France, Germany, Japan, R S Scowen (editor),
Budapest papers - 2 - Input/output, arithmetic, modules, etc, ii + 59 pages, November 1990. Note -- 1 - France - AFNOR observations and resolutions. 3 - Germany - Comments in ISO Prolog draft (N64). 13 - Japan - Comments on Prolog draft (N64). 15 - USA (D L Bowen, K A Bowen) - Proposal for standard Prolog I/O. 23 - Germany - A module proposal. 29 - R S Scowen - Defining arithmetic in standard Prolog. 39 - D L Bowen - Errors and exceptions in Quintus Prolog. 53 - Z Zein - The semantics of backtracking over a dynamic predicate. 55 - R S Scowen - The syntax of standard Prolog - a rationale.
N70 P Deransart, R S Scowen,
Draft for Working draft 4.1, i + 12 pages, November 1990.
Note -- This replaces clauses 6 (Syntax) and 7.3 (Unification) of N64.

1991 Documents

N71 A Ed-Dbali, P Deransart, R S Scowen (editor),
A guide to the executable semantics, i + 11 pages, January 1991.
N72 R S Scowen,
Draft for Working draft 5.0, vi + 134 pages, May 1991.
Note -- This replaces N64; it shows the current state of what will ultimately grow into the first Draft Proposal of the standard.
N73 R S Scowen,
Comments on Prolog draft N64 - a response from the editor, 20 pages, May 1991.

N74 E Boerger, D L Bowen, K A Bowen, K Daessler, B Demoen, K Nakamura, C Pichler, T Schoenauer, R S Scowen (editor), H Shimada, M Tajima,
Input for the next draft, ii + 92 pages, February 1991.

   Note -- 
   1 - B Demoen - If-then-else, conjunction, disjunction (see also pp 7-10, 30).
   3 - E Boerger, B Demoen - Database updates (see also pp 10).
   11 - D L Bowen (et al) - Syntax.
   13 - D L Bowen, K A Bowen - Input/Output.
   20 - T Schoenauer (Editor) - Built-in predicates.
   30 - C Pichler, B Demoen - Modules.
   36 - K Nakamura (et al) - Char-conversion/2.
   37 - K Daessler (Editor) - Informal semantics.
   55 - K Daessler (Editor) - English-German Terminology.
   64 - R S Scowen - Arithmetic using LCAS.

N75 Not published.
N76 C Bourstin, R S Scowen,
WG17 meeting, Paris 1991: Announcement, draft agenda, 14 pages, May 1991. = SC22 N960.

N77 P Deransart, A Dodd, R A O'Keefe, France, R S Scowen (editor),
Paris papers - 1 - Comments on N64, control constructions, unification, call(X), environment, etc, i + 40 pages, June 1991.

   Note --
   1 - A Dodd - Comments on Prolog Working Draft 0.4 (N64).
   11 - R A O'Keefe - On call and transparent call.
   19 - R A O'Keefe - Why ISO Prolog needs getenv/2 .
   23 - AFNOR (P Deransart) - Conjunction, disjunction and unification.
   25 - P Deransart, G Ferrand, M Teguia - NSTO Programs
    (Not subject to occur check).

N78 France (P Deransart), Germany (K Daessler), R S Scowen (editor),
Paris papers - 2 - Formal definition, semantics, ii + 101 pages, July 1991.

   Note --
    1 - France (P Deransart)
        - AFNOR Draft for an introduction to the formal specification.
   15 - France (P Deransart)
        - AFNOR Proposal for a formal definition of standard Prolog.
   65 - Germany (K Daessler)
        - Proposal for the informal semantics of Prolog.

N79 N D North, R S Scowen (editors),
Paris 1991 meeting: minutes, resolutions, participants, 10 pages, July 1991. = SC22 N1054.

N80 France (P Deransart), Germany (K Daessler), R S Scowen (editor),
Paris papers - 2 - Formal definition, semantics, ii + 130 pages, July 1991.

   Note --
    1 - Germany (K Daessler)
        - Report of DIN AK17 activities, remarks on current draft (N74).
    7 - Japan (K Nakamura)
        - Positions and comments for working draft Prolog 5.0.
    9 - USA (D L Bowen) - Prolog standardization activity in the USA.
   11 - Germany (K Daessler) - Bilingual terminology list.
   29 - Germany - Module concept proposal.
   35 - Germany (K Daessler)
        - Proposal for the evaluable functor **/2 .
   37 - (USA) D L Bowen, P Schachte - Prolog texts and consult/1 .
   47 - R S Scowen - The predicate consult/1 - a problem
        in Prolog standardization
   51 - R A O'Keefe - A modest proposal for Prolog character transput.
   75 - A Dodd
        - The predicates bagof/3 and setof/3 , a proposal.
   85 - B Demoen - Code and comments regarding bagof/3 .
   87 - E Boerger, D Rosenzweig - An analysis of Prolog database views
        and their uniform implementation.

N81 R S Scowen,
Report to ISO/IEC JTC1 SC22 from WG17 (Prolog), 1 page, July 1991. = SC22 N1002.
N82 B Demoen, R S Scowen,
WG17 meeting, Leuven 1991: Announcement, draft agenda, 5 pages, July 1991. = SC22 N1055.
N83 R S Scowen,
WG17 (Prolog) Membership list, 1991 update. 1 page, September 1991.
N84 R S Scowen,
Draft for Working Draft 6.0, iv + 74 pages, October 1991.
N85 R S Scowen,
Commentary for Working Draft 6.0, ii + 21 pages, October 1991.

N86 USA, C Beierle, D L Bowen, B Demoen, D Dodson, J Hodgson, A Nair, K Nakamura, G K Thwaites, P Vasey, R S Scowen (editor),
Leuven papers - 1 - Comments on N72, exceptions, char-conversion/2, semantics, term ordering, etc, ii + 85 pages, November 1991.

   Note --
    1 - D L Bowen - X3J17 comments on draft Prolog standard (N72).
    9 - D L Bowen (editor) - Draft X3J17 Exception handling proposal
   11 - A Nair - Programming language Prolog: proposal for exception handling.
   31 - P Vasey - Comments on Prolog standard (N72).
   43 - B Demoen - Queries about char_conversion/2 .
   45 - K Nakamura - Miscellaneous comments including
     char_conversion/2 .
   47 - G K Thwaites, R S Scowen - catch/3 and
     throw/1 - query and response.
   51 - R S Scowen - Some experiments on the built-in predicate
         abolish .
   59 - R S Scowen et alia - Query and responses about abolish .
   63 - R S Scowen - Some experiments on term ordering.
   65 - J Hodgson, C Beierle, R S Scowen - Informal semantics
   (N84, 7.6, 7.7).
   67 - G K Thwaites - Comments on the DIN informal semantics (N74).
   69 - R S Scowen - An overview of Prolog standardization.
   75 - D Dodson - Side effects, time and tense in Prolog.
   77 - D Dodson - A note on the set of clauses available to a Prolog call.

N87 ANSI X3J17, D L Bowen (editor),
Draft for Working Draft 6.0 --- Input/output, ii + 22 pages, November 1991.
N88 A Ed-Dbali, P Deransart, R S Scowen,
Draft for Working Draft 6.0 --- Formal semantics, i + pages 75-116, November 1991.

N89 Germany, Japan, USA, D L Bowen, K A Bowen, B Demoen, J Hodgson, J Jones, K Nakamura, C Reisenauer, G K Thwaites, R S Scowen (editor),
Leuven papers - 2 - Comments on N72, N84, N87 Input/output, IS8859, Principles, Prolog text, Semantics, etc ii + 32 + 29 pages, October 1991.

   Note --
   1 --- Report on meetings of Japanese national WG
    for SC22/Prolog WG --- K Nakamura (editor).
   3 --- Prolog standardization activity in the USA --- D L Bowen.
   7 --- DIN comments on Prolog Draft for
    Working Draft 5.0/6.0 document N72/(84); Input/output document N87
    --- DIN NI22 AK17.
   13 --- Comments on Prolog: Draft for Working Draft 6.0
   ISO/IEC JTC1 SC22 WG17 N84 ---  J Jones.
   23 --- Yet another semantic model for Prolog --- J Hodgson.
   A --- Response to X3J17 comments on N72 --- R S Scowen, D L Bowen.
   B --- Foreword for draft Prolog standard (N84, N87, N88) --- R S Scowen.
   C --- Philosophy and principles --- R S Scowen, D L Bowen, L Jensen.
   D --- Prolog text --- R S Scowen, D L Bowen.
   E --- IS8859 in standard Prolog --- K A Bowen, C D S Moss, R S Scowen.
   F --- Comments on N72 --- DIN, C Reisenauer, G K Thwaites.
   G --- Comments on N87 and a response --- R S Scowen, B Demoen,
     G K Thwaites, and a response from D L Bowen.
   H --- Miscellaneous comments.

1992 Documents

N90 N D North, R S Scowen (editors),
Leuven 1991 meeting: minutes, resolutions, participants, 9 pages, April 1992. = SC22 N1151.
N91 K Nakamura, R S Scowen,
WG17 meeting, Tokyo, June 1992: Announcement, draft agenda, 1 page, April 1992. = SC22 N1140.
N92
Part 1, General core -- Committee Draft 1.0, vii + 1 + 150 pages, March 1992. = SC22 N1133; ballot results in SC22 N1205, N1210.
N93 Germany,
Part 2, Modules -- Working Draft 1.0, 15 pages, April 1992.

N94 SC22, D L Bowen, B Demoen, J Hodgson, P Vasey, R S Scowen (editor),
Tokyo papers - 1 - Comments on N92 and N93, ii + 15 pages, May 1992.

   Note --
   1 --- SC22 Ballot Form and Cover page for SC22 N1133 (= WG17 N92, Prolog,
    -- Part 1 (General Core) Committee draft 1.0).
   3 --- Comments on N92: Prolog, Part 1 (General core) Committee Draft 1.0
      --- P Vasey.
   A --- Comments on N92: Prolog, Part 1 (General core) Committee Draft 1.0.
   B --- Comments on N93: Prolog, Part 2 (Modules) Working draft 1.0
    --- B Demoen, R S Scowen.

N95 Germany (K Daessler, C Pichler),
Part 2, Modules -- Working Draft 2.0, ii + 34 pages, June 1992.

   Note --
   1-17 --- DIN NI 22 AK17/Prolog: Proposal for a module concept in ISO
    Prolog --- K Daessler, C Pichler.
   19-25 --- DIN NI 22 AK17/Prolog: More examples --- C Pichler.
   27-34 --- DIN NI 22 AK17/Prolog:
      Assert, clause and metaarguments --- C Pichler.

N96 R S Scowen,
Report to ISO/IEC JTC1 SC22 from WG17 (Prolog), 1 page, June 1992. = SC22 N1193.
N97 D L Bowen, R S Scowen (editors),
Tokyo 1992 meeting: minutes, resolutions, participants, 6 pages, September 1992. = SC22 N1395.

N98 SC22, D L Bowen, B Demoen, J Hodgson, P Vasey, R S Scowen (editor),
Tokyo papers - 2 - Comments on N92 and N93, ii + 30 + 34 pages, July 1992.

   Note --
   1 --- Activities of Japanese National WG for SC22/Prolog WG
    --- K Nakamura (editor).
   3 --- X3J17 Prolog standardization work
     (X3J17/92/6, December 1991 -- May 1992) --- D L Bowen.
   13 --- DIN NI22 AK17/PROLOG (December 1991 -- May 1992) --- K Daessler.
   15 --- Answer to remarks on N93 in N94 Annex B --- K Daessler.
   17 --- Summary of updates for N95 --- K Daessler.
   19 --- Input for the ISO Prolog module concept (DS U22 A3/Prolog)
    --- L Jensen.
   A --- Comments on ISO/IEC JTC1 SC22 WG17 N92: Prolog, Part 1 (General core)
      --- G K Thwaites (SD-Scicon).
   B --- Comments on ISO/IEC JTC1 SC22 WG17 N92: Prolog, Part 1 (General core)
      --- P Vasey (Logic Programming Associates).
   C --- More comments on N92: Prolog, Part 1 (General core) Committee Draft 1.0
      --- M A Covington, P Massey, J Schimpf, P Singleton, J Walser.
   D --- Modules in Prolog (Modules in Prolog ---
      Requirements, design criteria, examples) --- R S Scowen (editor).
   E --- Comments on ISO/IEC JTC1 SC22 WG17 N93: Prolog, Part 2 (Modules)
      --- G K Thwaites (SD-Scicon Ltd).
   F --- More comments on N93: Prolog, Part 2 (Modules) Working draft 1.0
      --- P Singleton, M Sunners.
   G --- X3J17 Modules proposal --- K A Bowen (editor).
   H --- Draft informal ``Informal semantics'' --- P Deransart.

N99 Belgium, Denmark, Germany, USA, UK,
Some official comments on N92, 38 pages, August 1992.
Note -- This, together with N102, reprints for the benefit of WG17 the comments (SC22 N1205, N1210) on the ballot for N92.
N100 R S Scowen,
Document register, 7 pages, September 1992.
N101 L Christensen, R S Scowen,
WG17 meeting, Denmark, October 1992: Announcement, draft agenda, 2 pages, August 1992. = SC22 N1246.
N102 France, New Zealand, Japan,
Further NB comments on N92, 14 pages, September 1992.
Note -- See N92, N99.

N103 A Dodd, P Deransart, C D S Moss, K Nakamura, A Roth, R S Scowen (editor),
Copenhagen papers -- 1 -- Part 1, general core, ii + 42 + 8 pages, September 1992.

   Note --
   1 --- New Proposal for Character Conversion --- K Nakamura (Editor,
     IPTCJ SC22/Prolog WG.
   9 --- Software formal specification by logic programming: The example
       of Standard PROLOG --- A Ed-Dbali, P Deransart.
   21 --- Prolog standardization: the usefulness of a formal specification
      --- P Deransart (AFNOR (France), Co-editor of draft
      Prolog standard N92).
   27 --- Definite Clause Grammars (DCGs) in ISO Prolog: a proposal --- A Dodd.
   33 --- Draft for an informal and formal semantics of
   bagof/3 and    setof/3  --- P Deransart, A Ed-Dbali.
   37 --- Comments on proposals for bagof/3 and    setof/3
       from P Deransart, A Ed-Dbali --- A Dodd.
   39 --- Prolog vendors group: (1) At AAAI, (2) Strategic collaborative
        agreement, (3) Mission statement --- A Roth.
   A --- Correspondence on the ballot (P Deransart, C D S Moss).

N104 D L Bowen,
Copenhagen papers - 2 - Part 2, modules, 7 pages, September 1992.
N105 K Daessler, C Pichler (editors),
Part 2, Modules -- Working Draft 3.0, ii + 11 pages, October 1992.

1993 Documents

N106 France, Germany, Japan, UK, USA, Prolog vendors group, et al, R S Scowen (editor),
Copenhagen papers - 3, ii + 42 + 16 pages, February 1993.

   Note --
   1 --- Activities of DIN NI22 AK16/Prolog --- K Daessler.
   3 --- Activities of Japanese National WG for SC22/Prolog WG
    --- K Nakamura (editor).
   7 --- UK national report from IST/5/-/17 
    --- C Spenser (UK convener).
   9 --- [USA] X3J17 Prolog standardization work, June - October 1992 
     --- J Hodgson, D L Bowen.
   15 -- New proposal for character conversion --- IPTCJ SC22/ Prolog WG,
     K Nakamura (editor)
   23 --- From Prolog Vendors Group to WG17.
   25 --- Ideas for standardizing a foreign language interface and a
   GUI interface --- L Jensen.
   33 --- The mathematics of set predicates in Prolog --- E Boerger,
   D Rosenzweig.
   A --- AFNOR comments and questions on N92 ---
   M Van Caneghem, P Deransart, A Ed-Dbali, E Fermaut, M Narboni,
   J-F Pique.
   B --- Correspondence on bagof/3 --- P Deransart, A Dodd.
   C --- Miscellaneous notes (P Holmes-Higgin, S Szpakowicz).

N107 A Dodd, R S Scowen,
Copenhagen 1992 meeting: minutes, resolutions, participants, 12 pages, May 1993. = SC22 N1394.
N108 WG17, R S Scowen (editor),
Disposition of comments on ballot SC22 N1133 (=WG17 N92), 14 pages, May 1993. = SC22 N1370.
N109 B Silver, R S Scowen,
WG17 meeting, Boston, USA, August 1993: Announcement, draft agenda, 4 pages, April 1993. = SC22 N1353.
N110 Prolog --- Part 1, General core -- Committee Draft (ISO/IEC CD 13211-1), viii + 172 pages, March 1993.
= SC22 N1345; ballot results in SC22 N1406, and WG17 N114, N118, N119.
N111 K Daessler, C Pichler (editors),
Prolog --- Part 2, Modules -- Working Draft 4.0, 2 + 11 pages, June 1993.
N112 R S Scowen,
ISO/IEC JTC1 SC22 WG17 (Prolog) --- 1993 membership update, 1 page, June 1993. = SC22 N1473.
N113 R S Scowen,
Prolog standardization -- 1993-94 and beyond, 1 page, June 1993. = SC22 N1473.
N114 Belgium, Canada, Denmark, Germany, Japan, New Zealand, Sweden, UK, USA,
Some national comments on ISO/IEC CD 13211-1 (= SC22 N1345, = WG17 N110), 31 pages, July 1993.
N115 R S Scowen,
1993 report to ISO/IEC JTC1 SC22 from WG17 (Prolog), 1 page, July 1993. = SC22 N1414.

N116 USA, J P E Hodgson, C Schaffert, R S Scowen (editor),
Boston papers - 1, 21 pages, September 1993.

   Note --
   2 --- X3J17 Prolog Standardization Work (Aug 1992 - July 1993)
    --- J P E Hodgson.
   4 --- Correspondence about an informative annex defining DEC10 I/O.
   6 --- Draft standard Prolog: Latex format of clauses  --- R S Scowen.
   9 --- Rationale and principles for standard Prolog --- R S Scowen (editor).
   11 --- Extensions to standard Prolog --- R S Scowen.
   13 --- ISO 8859-1 character set as an extension of draft standard Prolog
     --- R S Scowen.
   17 --- LIA-1 Introduction --- C Schaffert.
   20 --- Terms and clauses --- X3J17 (USA), J P E Hodgson  (editor).

N117 K Daessler, A Dodd, P Schachte, R S Scowen (editor),
Comments on N111 (Part 2, Modules --- WD 4.0), etc, 10 + 12 pages, July 1993. * N118 France,
Further national comments on ISO/IEC CD 13211-1 (= SC22 N1345, = WG17 N110), ii + 15 pages, July 1993.
N119 J Cote (SC22 secretariat), R S Scowen (editor),
Official results of ballot on ISO CD 13211-1 (= SC22 N1345, = WG17 N110), 1 page, August 1993.
Note -- The ballot results and comments are in SC22 N1406, the comments only are reproduced in in WG17 N114, N118.

N120 J P E Hodgson, R S Scowen,
Boston, USA 1993 meeting: minutes, resolutions, participants, 13 pages, August 1993. = SC22 N1469.

   Note --
   Three papers first circulated to WG17 at the meeting in Boston are
   appended to the minutes as annexes.
    C --- DIN AK17 (Prolog) -- November 1992 to August 1993
    --- K Daessler.
    D --- Boston paper on extensions --- K Daessler.
    E --- A new Prolog flag and directive --- J Crammond.

N121 WG17, R S Scowen, K Daessler (editors),
Disposition of comments on ballot ISO CD 13211-1, ii + 84 pages, March 1994. = SC22 N1570.
N122 K Daessler, C Pichler (editors),
Prolog --- Part 2, Modules -- Working Draft 4.1, ii + 12 pages, September 1993.
N123 R S Scowen,
1993 Second report to ISO/IEC JTC1 SC22 from WG17 (Prolog), 1 page, September 1993. = SC22 N1473.

1994 Documents

N125 R S Scowen,
Document register, 10 pages, February 1994.
N126 K Daessler, C Pichler (editors),
Prolog --- Part 2, Modules -- Working Draft 4.9, ii + 14 pages, January 1994.

N127 USA, D L Bowen, J Crammond, K Daessler, B Demoen, P Deransart, A Dodd, J P E Hodgson, P Holmes-Higgin, S Kelem, T Kusalik, P Ludemann, M Meier, K Nakamura, C Pichler, J-F Pique, R S Scowen (editor), P Schachte, J Schimpf, P Singleton,
London papers, i + 48 pages, June 1994.

   Note --
   A --- National body reports --- USA (J P E Hodgson), 
      Germany (K Daessler).
   B --- Further comments on ISO CD13211-1 (N110) 
    --- Japan (K Nakamura), USA (J P E Hodgson).
   C --- Further comments on ISO CD13211-1 (N110) 
    --- France (J-F Pique),    Germany (K Daessler).
   D --- Email discussion on modules - March 1994 --- D L Bowen, M Meier,
    J Crammond, C Pichler, J Schimpf.
   E --- Usenet `comp.lang.prolog' survey on modules 
    --- P Holmes-Higgin, T Kusalik, P Schachte, S Kelem, 
    P Ludemann, M Meier, P Singleton.
   F --- Comments on WG17 N122 (Modules WD 4.1) 
    --- USA (J Crammond), Belgium (B Demoen).
   G --- Comments on WG17 N126 -- Modules WD 4.9 
    --- USA (J P E Hodgson (editor)), Belgium (B Demoen), UK (A Dodd).
   H --- Reply to comments on WG17 N126 from Belgium, UK, and USA ---
    K Daessler.
   I --- Modules in Quintus Prolog, section G-13 of the manual.

N128 R S Scowen (editor),
Prolog --- Part 1, General core -- Draft International Standard (ISO/IEC DIS 13211-1), vi + 191 pages, March 1994.
Ballot results and comments in SC22 N1762, WG17 N132 and N133.
N129 A Dodd, R S Scowen,
London 1994 meeting: minutes, resolutions, participants, 5 pages, June 1994. = SC22 N1632.
N130 R S Scowen,
1994 report to ISO/IEC JTC1 SC22 from WG17 (Prolog), 1 page, June 1994. = SC22 N1621.
N131 R S Scowen,
WG17 meeting, Utrecht, Netherlands, December 1994: Announcement, draft agenda, 1 page, August 1994. = SC22 N1681.
N132 Canada, Japan, UK, USA,
ISO/IEC DIS 13211-1 Prolog -- National ballot comments, 16 pages, October 1994. = SC22 N1762, pp 4-7, 16, 17, 19-33.
N133 Germany,
ISO/IEC DIS 13211-1 Prolog -- Ballot result and further comments, 4 pages, November 1994. = SC22 N1762, pp 2-3, 8-15, 18.
N134 USA (X3J17).
Prolog --- Part 2, Modules -- Working Draft 6.0, ii + 10 pages, November 1994.

N135 Germany, P Schachte, R S Scowen (editor),
Utrecht papers, i + 14 pages, December 1994.

   Note --
   A --- DIN AK17 Activities (March - December 1994) --- K Daessler.
   B --- Modules in SICStus Prolog: some experiments --- R S Scowen.
   C --- Comments on modules, especially Quintus Prolog 3.2 --- P Schachte.
   D --- Packages in Prolog --- R S Scowen.
   E --- The future of Prolog standardization --- WG17, comp.lang.prolog,
       R S Scowen (editor).

N136 WG17, R S Scowen (editor),
Disposition of comments on ballot ISO/IEC DIS 13211-1, i + 25 pages, December 1994. = SC22 N1767.

1995 Documents

N138 J P E Hodgson (editor),
Prolog --- Part 2, Modules -- Working Draft 7.0, 2 + ii + 19 pages, March 1995. = SC22 N1834.

N139 Germany, P Schachte, R S Scowen (editor),
Comments on Prolog: Part 2 (Modules) WD7, 9 pages, May 1995.

   Note --
   A --- Comments on WG17 N138, Part 2 (Modules) WD 7.0 --- DIN.
   B --- Comments on WG17 N138, Part 2 (Modules) WD 7.0 --- Peter Schachte.
   C --- Comments on WG17 N134, N138, Part 2 (Modules) WDs 6.0 and 7.0
    --- Roger Scowen.

N140 R S Scowen,
1995 report to ISO/IEC JTC1 SC22 from WG17 (Prolog), 1 page, June 1995. = SC22 N1874.
N141 J P E Hodgson (editor),
Prolog --- Part 2, Modules -- Working Draft 8.0, ii + 20 pages, June 1995.
N142 J P E Hodgson (editor),
Prolog --- Part 2, Modules -- Working Draft 8.1, ii + 19 pages, August 1995. = SC22 N1926.
N143 R S Scowen,
1995 second report to ISO/IEC JTC1 SC22 from WG17 (Prolog), 1 page, September 1995. = SC22 N1957.
N144 R S Scowen,
WG17 meeting, Uppsala, Sweden, March 1996, Announcement, draft agenda, 2 pages, November 1995. = SC22 N2031.

1996 Documents

N145
ISO/IEC WD 13211-2 Prolog -- Ballot result and comments, 9 pages, January 1996. = SC22 N2046 (late results in N2075 are reported in N147).

N146 R S Scowen,
Uppsala papers -- 1, 6 pages, March 1996. = SC22 N2046.

   Note --
   1 --- Report from USA X3J17 to SC22 WG17 (Jonathan Hodgson).
   2 --- Errors in ISO/IEC 13211-1 Prolog: Part 1 --- General core
     (Roger Scowen). 
   3 --- WG17 organizational proposals (Roger Scowen).
   4 --- Late comments on WG17 N142, Part 2 (Modules) WD 8.1 (Mats Carlsson). 
   5 --- Further comments on WG17 N142, Part 2 (Modules) WD 8.1 (K Daessler). 
   6 --- Late comments on WG17 N142, Part 2 (Modules) WD 8.1 (Micha Meier).

N147 WG17, R S Scowen (editor),
Disposition of comments on ballot ISO/IEC WD 13211-2, 13 pages, May 1996. = SC22 N2112.
N148 M Carlsson, R S Scowen,
Uppsala 1996 meeting: minutes, resolutions, participants, 5 pages, March 1996.
= SC22 N2031.
N149 R S. Scowen.
1996 report to ISO/IEC JTC1 SC22 from WG17 (Prolog), 1 page, September 1996.
=SC N2238
N150 R.S. Scowen
Document Register
N151 J.P.E. Hodgson (Editor)
CD (Committee Draft) for Part 2 (Modules)

1997 Documents

N152 R,S. Scowen (Editor)
ISO/IEC CD 13211-2 Prolog -- Ballot result and comments,
9 pages, January 1997.
SC22 N2384 (late results in N2392 and N2395).
N153 R S Scowen, K Daessler,
WG17 meeting, Schliersee, Germany, May 1997, Announcement, draft agenda,
2 pages, February 1997.
= SC22 N2412.
N154 R S Scowen,
SC22 Work Program review --- WG17 (Prolog),
2 pages, June 1997.
= SC22 N24xx.
N155 R S Scowen,
1997 business plan and convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog),
3 pages, June 1997.
= SC22 N2503.
N156 K Daessler, R S Scowen,
Schliersee, Germany 1997 meeting: minutes, resolutions, participants,
6 pages, July 1997.
= SC22 Nxx.
N157 WG17, R S Scowen (editor),
Disposition of comments on ballot ISO/IEC CD 13211-2,
9 pages, August 1997.
= SC22 N2578.
% ~/da/da63.tex, ~/da/da63xxx...

1998 Documents

N158 R S Scowen,
1998 business plan and convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog), 3 pages, June 1998.
= SC22 N2727.
% Will be stored in ~/r126, currently in ~/r126.1998
N159 J P E Hodgson (editor),
Prolog --- Part 2, Modules -- Final Committee Draft,
ii + 2-31 pages, May 1998.
= ISO/IEC FCD 13211-2, SC22 N2xxx.
% ~/da/da69.ps, .pdf, .tex, da69source; cover is ~/ro82n159.tex, .ps, .pdf
N160 R S Scowen,
Meeting Announcement and Draft Agenda: ISO/IEC JTC1 SC22 WG17 (Prolog), 3 pages September 1998.
N161 R S Scown,
SC22 Ballot Result. ISO/IEC JTC1 SC22 WG17 (Prolog), 13 pages December 1998.

1999 Documents

N162 J P E Hodgson (editor),
Draft Disposition of Comments. 9 pages. January 1999.
N163 J P E hodgson
Chiswick, London UK 1999 meeting: minutes, resolutions, participants,
= SC22 N2878
N164 J P E hodgson (editor),
Disposition of Comments on Ballot ISO/IEC FCD 13211-2,
N165 R S Scowen,
Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog), 3 pages, June 1999.

2000 Documents

N166 J P E Hodgson (editor),
Prolog --- Part 2, Modules -- IS,
ii + 2-31 pages, May 2000.
= ISO/IEC FCD 13211-2, SC22 N2xxx.
2001-2003 Documents

N167 J P E Hodgson.
Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog), 3 pages, Aug 2001.
= ISO/IEC SC22 N3xxx
N168 J P E Hodgson.
Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog), 3 pages, Aug 2002.
= ISO/IEC SC22 N3xxx
N169 J P E Hodgson.
Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog), 3 pages, Aug 2003.
= ISO/IEC SC22 N3xxx

2004 Documents

N170 J P E Hodgson.
Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog), 3 pages, Aug 2004.
= ISO/IEC SC22 N3763
N171 R.S. Scowen
Grammar rules in Prolog. = ISO/IEC JTC1 SC22 N 3914

2005 Documents

N172 Katsuhiko Nakamura
A Proposal for Global Variables and Arrays in Standard Prolog = ISO/IEC N JTC1 SC22 3915
N173 Grind.txt. Plain text version of the code from N171. R.S. Scowen =ISO/IEC N JTC1 SC22 3916
N174 Agenda for WG17 Meeting Sitges Spain. October 5th 2005 = ISO/IEC NTC1 SC22 3917
N175 Katsuhiko Nakamura A Revised Proposal for Global Variables and Arrays in Standard Prolog (Revised Version)
N176 Roger Scowen. Issues for ISO/IEC DTR 13211-3 Grammar Rules in Prolog
N177 Roger Scowen Issues for ISO/IEC DTR 13211-3 Grammar Rules in Prolog: Addendum
N178 Roger Scowen. Edited Comments on ISO/IEC DTR 13211-3 Grammar Rules in Prolog
N178 Roger Scowen Test results for Grammer Rules in Prolog
N179 Roger Scowen Test Suire for Grammer Rules in Prolog
N180 Jonathan Hodgson. Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog), 3 pages, Aug 2005 = ISO/IEC SC22
N181 Katsuhiko Nakamura A Revised Proposal for Global Variables and Arrays in Standard Prolog (Revision 4)
N182. Jan Wielemaker A prelimiary proposal for library access.
N183. Katsuhiko Nakamura and Nobukini Kino: Japanese Proposal for Global variables and Associative Functions in Standard Prolog
N184 Paulo Moura. Draft Technical Report Prolog Definite Clause Grammars
N185 Roger Scowen. Draft corrigenda for ISO/IEC 13211-1

2006 Documents

N186 Paulo Moura. Draft Technical Report Prolog Definite Clause Grammars: Version for ballot.
N187 Agenda for WG17 meeting Seattle WA. USA August 21st
N188 Roger Scowen. Defect report and Corrigenda for ballot
N189 Roger Scowen Unresolved defect reports.
N190 Jonathan Hodgson Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog)

2007 Documents

N191 Draft document on threads. Paulo Moura
N192 Further Corrigenda to ISO/IEC 13211-1 Prolog -- General Core
N193 Draft Agenda for WG17 meeting Oporto Portugal. September 2007
N194 Jonathan Hodgson. Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog) Aug 2007
N195 Minutes of the WG17 meeting in Seattle WA. USA
N196 Katsuhiko Nakamura and Nobukini Kino: Japanese Proposal for Global variables in Standard Prolog August 2007
N197 Klaus Daessler. German comments on N186 Prolog Definite Clause Grammars. September 2007
N198 Klaus Daessler German Proposal for a stratification subgroup of ISO/IEC WG17 Prolog
N199 Jonathan Hodgson Minutes of the Oporto meeting of WG17 September 2007
N200 Jonathan Hodgson. WG17 program of work summary. September 2007

2008 Documents

N201 Paulo Moura. Definite Clause Grammars February 2008
N202 Katsuhiko Nakamura and Nobukini Kino: Japanese Proposal for Global variables in Standard Prolog March 2008
N203 Jonathan Hodgson. Convener's report: ISO/IEC JTC1 SC22 WG17 (Prolog) Aug 2008
N204 Draft Agenda for WG17 meeting Udine, Italy. December 2008
N 205 Final Agenda for WG17 meeting Udine, Italy. 9th December 2008
N 206 Klaus Daessler German Comments on DCGs.
N 207 Jonathan Hodgson. Minutes of the Udine Meeting. December 2008
N208 New Built-in flags, predicates and functions proposal. Paulo Moura.

2009 Documents

N 209 Draft Agenda for WG17 Meeting Pasadena California USA April 2009
N210 Katsuhiko Nakamura and Nobukini Kino: Japanese Proposal for Global variables in Standard Prolog July 2009
N211 Ulrich Neumerkel Draft proposal for setup_call_cleanup/3. July 2009
N212 Convener's report to SC 22. J.P.E. Hodgson.
N213 Ulrich Neumerkel and Markus Triska. An error class for unexpected instantiations September 2009
N214 Minutes of the Pasadena Meeting September 2009
N215 Ulrich Neumerkel Revised Draft proposal for setup_call_cleanup/3. September 2009
N216 Katsuhiko Nakamura: Japanese Proposal for Global variables in Standard Prolog. Revised November 2009 includes reference implementation.

2010 Documents

N217 Draft Agenda for Edinburgh Meeting July 20th -21st 2010
N218 DCGs Klaus Daessler. April 2010
N219 Second Draft Agenda for Edinburgh Meeting July 20th -21st 2010
N220 Three steps to Syntax Harmony. Ulrich Neumerkel
N221 Minutes of the Edinburgh Meeting. Jonathan Hodgson
N222 Japanese Proposal on Mutable Terms and Arrays. September 2010. Ed. Katsuhiko Nakamura
N223 New Work Item Proposal. Mutable Terms and Arrays.
N224 Evaluable functors, current practice Discussion paper, October 2009 - July 2010
N225 Built-in predicates, current practice Discussion paper, October 2009 - July 2010
N226 An error class for unexpected instantiations Action item in Pasadena. Delivered 2009-10-29 as N213.

2011 Documents

N227 First Agenda for 2011 Meeting in Lexington, Kentucky, USA.

ISO/IEC JTC 1 Documents concerning Prolog

N176 Secretariat ISO/TC97/SC22,
N197 Secretariat ISO/TC97/SC22,
N266 Secretariat ISO/TC97/SC22,
Final report from ISO/TC97/SC22 Ad Hoc Group on Lisp and Prolog, [24] pages, December 1986.
N278 SC22 Secretariat,
Proposal for a NWI for ISO/TC97/SC22: Programming Language Prolog [5] pages, December 1986.
N316 Secretariat ISO/TC97/SC22,
Summary of voting and comments received on a proposal for a NWI for ISO/TC97/SC22 - Programming Language Prolog 2 pages, March 1987.
Note -- 12 `P' members supported the NWI proposal (Austria, Canada, Czecholsovakia, Finland, France, German FR, Japan, Netherlands, Sweden, UK, USA, USSR), and one `O' member also supported (Roumania). No `P' members did not support the proposal, and none abstained. 4 `P' members failed to vote (Belgium, China, Italy, Norway).
N419 Secretariat ISO/TC97/SC22,
Summary of voting: NWI proposal on Programming Language Prolog (JTC1 N15), [6] pages, October 1987.
Note -- 21 `P' members supported the NWI proposal (Austria, Belgium, Canada, China, Czecholsovakia, Denmark, Finland, France, German FR, Hungary, Italy, Japan, Netherlands, Poland, South Korea, Sweden, Switzerland, Turkey, UK, USA, USSR). Brazil abstained; Iran and Iraq failed to vote.

12 countries voted that they would participate in the development (Austria, Canada, Denmark, Finland, France, German FR, Hungary, Japan, Netherlands, South Korea, UK, USSR). Brazil abstained; Iran and Iraq failed to vote.
N459 Secretariat ISO/JTC1/SC22 [R S Scowen],
Notice of meeting and draft agenda for the first meeting of JTC1/SC22/WG17-Prolog to be held in Oxford UK, 1988-03-28/30, [i] + 1 page, January 1988.
N469 Secretariat ISO/JTC1/SC22 [R S Scowen],
Draft agenda and information on accommodation for the first meeting of JTC1/SC22/WG17-Prolog to be held in Oxford UK, 1988-03-28/30, [ii] +[11] pages, February 1988.
N523 Secretariat ISO/JTC1/SC22 [R S Scowen, K Daessler],
Notice of meeting and draft agenda for the first meeting of SC22/WG17-Prolog to be held in Munich, Germany FR, 1988-10-03/05, [ii] + [4] pages, January 1988.
N566 Secretariat ISO/JTC1/SC22 [R S Scowen],
Report from SC22/WG17-Prolog to the SC22AG Meeting, Tokyo, Japan, 1988-10-17/19, [i] + 1 page, November 1988.

Specialized papers available only on request

P1
M Carlsson, B Demoen, A Dodd, R A O'Keefe, R S Scowen.
Definite clause grammars, 51 pages, February 1993.
P2
A Dodd, R S Scowen.
Personal comments on N92, 12 pages, February 1993.
P3
P Deransart.
Changes for the next draft, 10 pages, February 1993.

Comments are welcome! We can be reached at jhodgson@sju.edu

JTC1/SC22/WG17: Documents

Availability

Colours

2001-2003 Documents

ISO/IEC JTC 1 Documents concerning Prolog

Specialized papers available only on request