ISO Prolog works

Since 1995-06-01 the programming language Prolog has an ISO/IEC standard: 13211. Work is active since then and has regained momentum recently and ISO/IEC published Cor.2! If you are using Prolog or one of the hosted systems like CLP(FD) or CHR, join us in WG17!

But first, get and read the relevant document. You obtain it from your national member body for about USD 300. If you want to read it for your information (but do not need it for legal purposes) consider INCITS/ISO/IEC 13211-1-1995 (R2007) for currently USD 60 from the ANSI webstore or at SAI. This document is a "nationalized" version of 13211-1 that differs by a slightly modified coversheet which makes it clear that the document is a national standard too.

The two corrigenda Cor.1:2007 and Cor.2:2012 are both free!

Here are current documents for ISO/IEC JTC1 SC22 WG17 (Document register, l, l, l, l, l, l, l, l, l, l). [Bigint Syntax, WDCor.3, Prolog prologue, DCGs, Cor.2/DTC2, Cleanup, LIA, MOCSH/Unicode, ROK:[pllib, plstd] ]

Comments welcome! If you have questions about the standard, don't hesitate to ask! If you ask your questions publicly, also others will profit! Use either
Syntax for big integers
WDCor.3: N258 Version 1.1 in Vienna. Draft for further corrigenda.
Please comment! (N246 variable_names/1). N234, N250.
Prolog prologue
N235. A Prologue for Prolog.

The aim of this task is to identify and codify predicates for a prologue for Prolog like length/2.

DCGs
DIN Draft 2014-08-31
DIN Draft 2014-07-20
DIN Draft 2014-07-18
N257 Comments on N253 DCGs draft 2014-04-08
Now version 1.16 of reference implementation (history).
N253 DIN Draft 2014-04-08
N249 DIN Draft 2013-08-20
N242 DIN Draft 2013-05-30
source
Comments on DCGs draft 2012-11-20
Comments, January 2013.
N238 DIN Draft 2012-11-20
Comments on DCGs draft 2012-07-13
Comments, August 2012.
Budapest 2012: DCG: N232 DIN Draft 2012-07-13, changes.
A simple reference implementation
Documents in Lexington
Comments on DCGs draft 2010-07-18
Comments, July 2010.
Comments on DCGs draft 2010-04-01
Comments, June 2010.
Historical reference implementations
  • DCG.PL comp.lang.prolog posting 1988-07-28 by Richard O'Keefe
  • TDCG.PL reportedly made public by Quintus in 1988
  • expand.pl dcg.pl complang.prolog posting 1994-09-24
Documents explaining DCGs
Conformity assessment I: Syntax.
Current differences between implementations. Please contribute!
Cor.2Draft Technical Corrigendum 2 (vl. DTC2)
status quo. Incorporates N226, N225, N224 and partially N220 which all were partially based on N208. Submitted as ISO/IEC JTC1/SC 22 N4587 for DCOR ballot. Approved. Summary of voting N4603. Revised DCOR text submitted to ITTF for publication N4626. Published 2012-02-15 as ISO/IEC 13211-1:1995/Cor 2:2012.

Documents which were incorporated into DTC2:

A comparison of implementations of number_chars/2
This was the basis for fixing the error conditions.
Noname operators
Discussion paper, June 2010. Integrated into DTC2.
N226 An error class for unexpected instantiations
Action item in Pasadena. Delivered 2009-10-29 as N213, 2010-07-26 as N226, 2010-09-07 integrated into DTC2.
N225 Built-in predicates, current practice
Discussion paper, October 2009 - July 2010
N224 Evaluable functors, current practice
Discussion paper, October 2009 - July 2010
N220 Three steps to syntax harmony
Discussion paper, June 2010. Partially integrated into DTC2.
Syntax extension for |
Discussion paper, December 2009. This was the first step before N220.
Comments on DTC1
Comments mostly on the unresolved issues of DTC1 with considerations for their inclusion into DTC2.
post-N215 setup_call_cleanup/3
Action item in Udine, 2008. Prepared for Pasadena, 2009 as N211. Further refinements due to Pasadena resolutions and user feedback. Delivered 2009-10-29 as N215. As of SE 7, 2011-07-28, Java has try-with-resources which suppresses exceptions in the same way as setup_call_cleanup/3.
Drafts at WG17 site

Documents by others related to Prolog standardization:
ISO/IEC 10967 Language independent arithmetic (vl. LIA).
The working group for this standard was WG11, documents. LIA consists of 3 parts:
LIA-1 Integer and floating point arithmetic.
The first edition of 1994-12-15 is now considered outdated. Already LIA-2 and LIA-3 are no longer based on it.

The second edition has been published 2012-07-11. The most recent publicly available draft is N514.

Please note that the Prolog core standard (13211-1:1995) incorporates arithmetics according to a draft prior to 10967-1:1994. In the meantime, LIA-1 changed at least twice which makes following LIA-1 very difficult.

History of references to LIA-1:

Prolog docdaterefers toLIA docdate
1st CD N921992-03Language compatible arithmetic1st CD1991-03
2nd CD N1101993-03Language independent arithmetic - Part 12nd CD1992-08
DIS N1281994-03Language independent arithmetic - Part 1DIS1993-09
IS 13211-11995-06-01Language independent arithmetic - Part 1IS 10967-11994-12-15
LIA-2 Elementary numerical functions.
2001-08-15
LIA-3 Complex integer and floating point arithmetic and complex elementary numerical functions.
2006-05-01
ISO/IEC 11404:2007, General purpose datatypes.
2007
Multi-Octet Character Set Handling
As a general remark note that in ISO/IEC 13211-1 there is a clean separation between characters and bytes. E.g., there is character I/O (8.12) and byte I/O (8.13). The processor character set PCS is implementation defined (6.5). This means, that conforming implementations may use ASCII, JIS, EBCDIC, ISO 8859-1, ISO 8859-5, Unicode, TRON, UTF-2000, GCS, GB 2312, GBK, GB 18030, or whatever other character set, provided Some difficulties with understanding the problems related to Unicode are due to the so called Han unification. An account from the perspective of the TRON project. Unicode Angst in Japan and Asia.

How many Unicode characters are there?

Possible character classification schemes to consider:

Modules
There is a module standard: ISO/IEC 13211-2:2000.

Current contributions: ECLiPSe ModuleSystem. Previous versions: 2012-03-29

ISO Prolog standard and standards compliance of Prolog implementations
Improving the ISO Prolog standard by analyzing compliance test results by Péter Szabó and Péter Szeredi. Some suggestions are part of Cor.1 and Cor.2. Still some things to do for WDCor.3.
Prolog heritage
Is the ISO Prolog standard taken seriously? by Roberto Bagnara. [local copy]
An up-to-the-point polemic originally posted 1999-01-02. Still relevant, although progress has been significant in the meantime. It did not consider IF, Minerva, Prolog IV, nor GNU which at that time were already very much conforming.
Prolog compilers are too permissive by Paulo Moura.
An Elementary Prolog Library (vl. pllib) by Richard O'Keefe.
Previous drafts: 18', 18, 17, 15, 14, 12, 11', 11, 10', 10, 9, 8, 7B, 7A', 7A, 6, 5, 4, 4, 4, 4, 3, 2. Nota bene:

Recent additions:

1984 Draft Proposed Standard for Prolog Evaluable Predicates By Richard O'Keefe
Version by ok@goanna.cs.rmit.oz.au. source first announcement 1984-07-25. ECRC-Version (source).
Joachim Schimpf's comments
There are many different places where comments by Joachim can be found. Some of them are even password protected.
Prolog and Standardisation
IsoErrata
Notes on the ISO-Prolog Standard
Previous drafts: 2013-12-09, 2011-04-24, 2011-04-12, 2010-09-27.

Remark that Joachim refers to various draft versions of Cor.2.

Core update float
Previous drafts: 2010-06-06, 2009-10-14.
Specs
CHR
Recently, there seems to be an interest in standardizing CHR.

Other standard related activity
Prolog portability quest. My attempt to vulgarize the ISO standard.

Validated HTML