But prior to joining, 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) there is an extra rebate — only USD 30 as INCITS/ISO/IEC 13211-1-1995 (R2007) from the ANSI webstore. Please note that in many countries, there is a "nationalized" version of 13211-1 present. These versions differ by a slightly modified coversheet which makes it clear that the document is a national standard too.
Here are current documents for ISO/IEC JTC1 SC22 WG17 (Document register, 2012-11-26, 2012-07-20, 2011-06-29, 2011-01-27ii, 2011-01-27, 2010-09-20).
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
- comp.lang.prolog or
- tag [iso-prolog] on Stackoverflow.
integer constant (* 6.4.4 *)
= decimal digit char (* 6.5.2 *),
{ [ space char | digit separator ],
decimal digit char (* 6.5.2 *) } ;
binary constant (* 6.4.4 *)
= binary constant indicator (* 6.4.4 *),
binary digit char (* 6.5.2 *),
{ [ space char | digit separator ],
binary digit char (* 6.5.2 *) } ;
octal constant (* 6.4.4 *)
= octal constant indicator (* 6.4.4 *),
octal digit char (* 6.5.2 *),
{ [ space char | digit separator ],
octal digit char (* 6.5.2 *) } ;
hexadecimal constant (* 6.4.4 *)
= hexadecimal constant indicator (* 6.4.4 *),
hexadecimal digit char (* 6.5.2 *),
{ [ digit separator ],
hexadecimal digit char (* 6.5.2 *) } ;
digit separator
= underscore char (* 6.5.2 *),
[ layout text sequence (* 6.4.1 *) ] ;
The aim of this task is to identify and codify predicates for a prologue for Prolog like length/2.
Documents which where incorporated into DTC2:
For 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 doc | date | refers to | LIA doc | date |
|---|---|---|---|---|
| 1st CD N92 | 1992-03 | Language compatible arithmetic | 1st CD | 1991-03 |
| 2nd CD N110 | 1993-03 | Language independent arithmetic - Part 1 | 2nd CD | 1992-08 |
| DIS N128 | 1994-03 | Language independent arithmetic - Part 1 | DIS | 1993-09 |
| IS 13211-1 | 1995-06-01 | Language independent arithmetic - Part 1 | IS 10967-1 | 1994-12-15 |
How many Unicode characters are there?
Possible character classification schemes to consider:
Current contributions: ECLiPSe ModuleSystem. Previous versions: 2012-03-29
Recent additions:
Remark that Joachim refers to various draft versions of Cor.2.