ISO/IEC 13211-1:1995
Current
The latest, up-to-date edition.
Information technology — Programming languages — Prolog — Part 1: General core
Hardcopy , PDF
01-06-1995
Designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. Specifies: the representation of Prolog text; the syntax and constraints of the Prolog language; the semantic rules for interpreting Prolog text; the representation of input data to be processed by Prolog; the representation of output produced by Prolog and the restrictions and limits imposed on a conforming Prolog processor.
| Committee |
ISO/IEC JTC 1/SC 22
|
| DocumentType |
Standard
|
| Pages |
199
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Standards | Relationship |
| BS ISO/IEC 13211-1:1995 | Identical |
| NEN ISO/IEC 13211-1 : 1995 C3 2017 | Identical |
| CSA ISO/IEC 13211-1:97 (R2020) | Identical |
| JIS X 3013:2001 | Identical |
| INCITS/ISO/IEC 13211-1 : 1995 | Identical |
| INCITS/ISO/IEC 13211-1 : 1995 : R2007 | Identical |
| ISO/IEC 10967-2:2001 | Information technology — Language independent arithmetic — Part 2: Elementary numerical functions |
| ISO 19144-1:2009 | Geographic information — Classification systems — Part 1: Classification system structure |
| ISO/IEC 13211-2:2000 | Information technology — Programming languages — Prolog — Part 2: Modules |
| BS EN ISO 19144-1:2012 | Geographic information. Classification systems Classification system structure |
| INCITS/ISO/IEC 13211-2 : 2000 | INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES |
| ISO/IEC TR 14252:1996 | Information technology — Guide to the POSIX Open System Environment (OSE) |
| INCITS/ISO 19144-1 : 2010 | GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE |
| ISO/IEC 10967-1:2012 | Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic |
| I.S. EN ISO 19144-1:2012 | GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE (ISO 19144-1:2009) |
| BS ISO/IEC TR 14252:1996 | Information technology. Guide to the POSIX open system environment (OSE) |
| BS ISO 19144-1 : 2009 | GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEMS STRUCTURE |
| 04/30106462 DC : DRAFT JUL 2004 | ISO/IEC 10967-3 - INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 3 : COMPLEX FLOATING POINT ARITHMETIC AND COMPLEX ELEMENTARY NUMERICAL FUNCTIONS |
| INCITS/ISO/IEC 13211-2 : 2000 : R2006 | INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES |
| BS ISO/IEC 10967-1:2012 | Information technology. Language independent arithmetic Integer and floating point arithmetic |
| BS ISO/IEC 13211-2:2000 | Information technology. Programming languages. Prolog Modules |
| ISO/IEC 8859-1:1998 | Information technology — 8-bit single-byte coded graphic character sets — Part 1: Latin alphabet No. 1 |
| ISO/IEC TR 10034:1990 | Guidelines for the preparation of conformity clauses in programming language standards |
| ISO/IEC 2382-15:1999 | Information technology — Vocabulary — Part 15: Programming languages |
| BS 6154:1981 | Method of defining syntactic metalanguage |
| ISO/IEC 10967-1:2012 | Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic |
| ISO/IEC 9899:2011 | Information technology — Programming languages — C |
| ISO/IEC 646:1991 | Information technology — ISO 7-bit coded character set for information interchange |
Access your standards online with a subscription
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.
Important note : Users cannot be edited or removed once added to your Multi user PDF.