ISO/IEC 13211-1:1995
Current
Current
The latest, up-to-date edition.
Information technology Programming languages Prolog Part 1: General core
Amended by
Available format(s)
Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users
Published date
01-06-1995
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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.
| 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 |
| INCITS/ISO/IEC 13211-1 : 1995 | Identical |
| CSA ISO/IEC 13211-1:1997 | Identical |
| INCITS/ISO/IEC 13211-1 : 1995 : R2007 | Identical |
| CSA ISO/IEC 13211-1 : 1997 : INC : COR 2 : 2013 : R201000 | Identical |
| CSA ISO/IEC 13211-1 : 1997 : R2015 | Identical |
| CSA ISO/IEC 13211-1 : 1997 : R2010 | Identical |
| CSA ISO/IEC 13211-1 : 1997 : INC : COR 1 : 2008 | 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 |
| UNI EN ISO 19144-1 : 2012 | GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE |
| CSA ISO/IEC 10967-1:14 (R2019) | Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic (Adopted ISO/IEC 10967-1:2012, second edition, 2012-07-15) |
| CSA ISO/IEC 13211-2 : 2002 : R2016 | INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES |
| CSA ISO/IEC 10967-2 :2002 | INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS |
| 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) |
| CSA ISO/IEC 13211-2 : 2002 | INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES |
| CSA ISO/IEC 10967-2 : 2002 : R2011 | INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS |
| 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 |
| CSA ISO/IEC 13211-2 : 2002 : R2011 | INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES |
| 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 |
| CSA ISO/IEC 10967-2 : 2002 : R2016 | INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS |
| 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
Features
-
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.