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.
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| 2012
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.
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.
Note -- Obsolete - see N34, pages 29-34.
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).
Note -- User-defined functions were deleted from Prolog in November 1990 (N68, A20).
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.
Note -- A rationalization and clarification of the proposal in pages 28-34 of N12 (also circulated as AFNOR F49). Obsolete - see N47.
Note -- Obsolete - see N33, pages 4-10.
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.
Note -- Obsolete - see N28, N29.
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.
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.
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.
Note -- This forms clause 7 of N28. N33, pages 2-3 contains comments on N29.
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).
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.
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.
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).
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.
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.
Note -- This paper determined the structure of subsequent drafts of the standard.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Note -- This replaces clauses 6 (Syntax) and 7.3 (Unification) of N64.
Note -- This replaces N64; it shows the current state of what will ultimately grow into the first Draft Proposal of the standard.
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.
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).
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.
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.
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.
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.
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.
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.
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.
Note -- This, together with N102, reprints for the benefit of WG17 the comments (SC22 N1205, N1210) on the ballot for N92.
Note -- See N92, N99.
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).
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).
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).
Note -- The ballot results and comments are in SC22 N1406, the comments only are reproduced in in WG17 N114, N118.
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.
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.
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).
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.
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).
A Proposal for Global Variables and Arrays in Standard Prolog = ISO/IEC N JTC1 SC22 3915
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).
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.